#!/bin/sh -e

# source debconf stuff
if [ -f /usr/share/debconf/confmodule ]; then
	. /usr/share/debconf/confmodule
fi

db_input medium php5/add_extension || true
db_go || true
