Merge "phan: Don't hardcode 'php7.0' binary"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Jan 2017 22:41:38 +0000 (22:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Jan 2017 22:41:39 +0000 (22:41 +0000)
commitefa60ac8e93870afd96ecadbddc09de1f70c356f
tree1d960b0f90839e1fbc98575d775c6a94766d82d8
parentf987604187b5c469916241ce4a36c03950080dbd
parent38376facc699841b630cce0f45d408d61734a626
Merge "phan: Don't hardcode 'php7.0' binary"