blob: 2234b8fcf5b0aba01b47ebfd16e88fc78cb4f2d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/sh
set -e
#EXTRA#
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
if [ -e /usr/share/php5/php5-maintscript-helper ] ; then
. /usr/share/php5/php5-maintscript-helper
for dsoname in @modules@; do
php5_invoke dismod ALL ${dsoname}
done
fi
fi
#DEBHELPER#
exit 0
|
