debian/php5-cli.prerm


1
2
3
4
5
6
7
8
9
10
11

#!/bin/sh

set -e

#DEBHELPER#

if [ "$1" = "remove" -o "$1" = "deconfigure" ]; then
	update-alternatives --remove php /usr/bin/php5
fi

exit 0