PREUN

/bin/sh

if [ $1 = 0 ]; then 
    if [ -x /usr/share/php/scripts/php_preun.sh ]; then 
	export php_servicedir=/usr/share/php/5.2.5/service 
        export php_sysconfdir=/etc/php/5.2.5 
	export php_extconf=/usr/share/php/5.2.5/extconf 
	export extList=gmp 
	/usr/share/php/scripts/php_preun.sh 
    fi 
fi

POSTIN

/bin/sh

if [ -x /usr/share/php/scripts/php_postin.sh ]; then 
    export php_servicedir=/usr/share/php/5.2.5/service 
    export php_sysconfdir=/etc/php/5.2.5 
    export php_extconf=/usr/share/php/5.2.5/extconf 
    export extList=gmp 
    /usr/share/php/scripts/php_postin.sh 
fi