#!/bin/sh

set -e

#DEBHELPER#

if [ "$1" != "configure" ]; then
    exit 0
fi

phpini="/etc/php5/cli/php.ini"

if ! [ -f $phpini ]; then
        mkdir -p /etc/php5/cli
        cp /usr/share/php5/php.ini-dist $phpini
fi

update-alternatives \
	--install /usr/bin/php php /usr/bin/php5 50 \
	--slave /usr/share/man/man1/php.1.gz php.1.gz /usr/share/man/man1/php5.1.gz

exit 0