debian/php5-dev.prerm


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/bin/sh

set -e

#DEBHELPER#

if [ "$1" != "remove" -a "$1" != "purge" ]; then
        exit 0
fi

for i in php-config phpize; do
	update-alternatives --remove $i /usr/bin/"$i"5
done

exit 0