POSTIN

/bin/sh

#Since we use noreplace, we may have an old php.ini file which is not 
#compatible with the new way of handling extensions. Remove all
#extensions if that's the case.
cd /etc
if egrep "^(;)*extension(.)*\.so" php.ini >/dev/null; then
  echo "Converting php.ini to new way of handling extensions"
  cat php.ini > php-ini.bak
  egrep -v "^(;)*extension(.)*\.so" php-ini.bak > php.ini
fi