summaryrefslogtreecommitdiff
path: root/debian/php5-cli.prerm.extra
blob: 2f253c5187ed0894d05c29be5d876dec599f4edc (plain)
1
2
3
if [ "$1" = "remove" -o "$1" = "deconfigure" ]; then
    update-alternatives --remove php /usr/bin/php5
fi