php-defaults/debian/php-common.postrm.divert

9 lines
273 B
Plaintext

if [ "$1" = remove ] ; then
dpkg-divert --remove --package php-common --rename \
--divert /usr/bin/phar.php5 \
/usr/bin/phar
dpkg-divert --remove --package php-common --rename \
--divert /usr/share/man/man1/phar.php5.1.gz \
/usr/share/man/man1/phar.1.gz
fi