fix php.sh typo