[Nervetattoo]

While that is true they now encourages people to submit patches as github pull requests: https://wiki.php.net/vcs/gitworkflow