name : php8.3-dev.prerm #!/bin/sh set -e if [ "$1" = "remove" -o "$1" = "purge" ]; then update-alternatives --remove php-config /usr/bin/php-config8.3 update-alternatives --remove phpize /usr/bin/phpize8.3 fi exit 0