File: php-cli.prerm.extra

package info (click to toggle)
php8.4 8.4.16-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 211,276 kB
  • sloc: ansic: 1,176,142; php: 35,419; sh: 11,964; cpp: 7,208; pascal: 4,951; javascript: 3,091; asm: 2,817; yacc: 2,411; makefile: 696; xml: 446; python: 301; awk: 148
file content (5 lines) | stat: -rw-r--r-- 190 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
 
if [ "$1" = "remove" -o "$1" = "deconfigure" ]; then
    for binary in php phar phar phar.phar; do
        update-alternatives --remove ${binary} /usr/bin/${binary}@PHP_VERSION@
    done
fi