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