#!/bin/sh

set -e

#DEBHELPER#

if [ "$1" = "remove" -o "$1" = "deconfigure" ]; then
	update-alternatives --remove php /usr/bin/php5
fi

exit 0