#!/bin/sh

set -e

#EXTRA#
#DEBHELPER#

if [ "$1" = "remove" ]; then
    for dsoname in @modules@; do
	php5dismod ${dsoname}
    done
fi

exit 0