travis-ci/travis-ci.github.com — pull request #231 by simi (2013-03-11 15:08:11+00:00)
Title: Overriding PHP extension with own version note.

@loicfrering ok?