Merge branch 'develop'
fix php.sh typo

fix php.sh typo
Merge pull request #239 from huglester/patch-1

fix php.sh typo