For my convenience it would be really nice when you issue a pull request to this repository. Do so by forking this repository, fixing the issue and requesting a pull, for example via …
$ git request-pull master https://github.com/YOU/homebrew-php