File: php-cli.prerm.extra

package info (click to toggle)
php7.4 7.4.33-1%2Bdeb11u5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 176,664 kB
  • sloc: ansic: 707,264; php: 18,280; sh: 11,566; cpp: 7,661; javascript: 3,080; pascal: 2,764; yacc: 1,956; xml: 1,722; makefile: 674; perl: 315; awk: 193
file content (5 lines) | stat: -rw-r--r-- 190 bytes parent folder | download | duplicates (5) 
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