Update phpext.sh