Overriding PHP extension with own version note.
Merge pull request #231 from travis-ci/js-php-override-extension

Overriding PHP extension with own version note.