Update php5-extensions.sh