Merge "Followup ac8b7d54f81f7b3879a7e21c96b0d182a00618d2 fix broken php detection"
authorAaron Schulz <aschulz@wikimedia.org>
Mon, 6 Aug 2012 16:58:26 +0000 (16:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 6 Aug 2012 16:58:26 +0000 (16:58 +0000)

Trivial merge