php-defaults/debian/php-dev.prerm

13 lines
230 B
Bash

#!/bin/sh
set -e
if [ "$1" = "remove" ] || [ "$1" = "purge" ]; then
update-alternatives --remove php-config /usr/bin/php-config.default
update-alternatives --remove phpize /usr/bin/phpize.default
fi
#DEBHELPER#
exit 0