#!/bin/sh

set -e

if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
    update-alternatives --remove phpdbg /usr/bin/phpdbg@PHP_VERSION@
fi



exit 0