#!/bin/sh
set -e
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
if [ -e /usr/share/php5/php5-maintscript-helper ] ; then
. /usr/share/php5/php5-maintscript-helper
for dsoname in intl ; do
php5_invoke dismod ALL ${dsoname}
done
fi
fi
exit 0
Back to Directory