Triggers

php-readline < 4:5.1.2-9.5

/bin/sh

if [ -f /etc/php/php-cgi.ini ]; then
	/bin/sed -i -e '/^extension[[:space:]]*=[[:space:]]*readline\.so/d' /etc/php/php-cgi.ini
fi
if [ -f /etc/php/php-cli.ini ]; then
	/bin/sed -i -e '/^extension[[:space:]]*=[[:space:]]*readline\.so/d' /etc/php/php-cli.ini
fi