File: php-dev.prerm

package info (click to toggle)
php8.4 8.4.5-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 208,656 kB
  • sloc: ansic: 1,059,088; php: 35,311; sh: 11,866; cpp: 7,204; pascal: 4,896; javascript: 3,091; asm: 2,778; yacc: 2,411; makefile: 682; xml: 446; python: 300; awk: 148
file content (12 lines) | stat: -rw-r--r-- 236 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/bin/sh

set -e

if [ "$1" = "remove" -o "$1" = "purge" ]; then
    update-alternatives --remove php-config /usr/bin/php-config@PHP_VERSION@
    update-alternatives --remove phpize /usr/bin/phpize@PHP_VERSION@
fi

#DEBHELPER#

exit 0