Merge "PHPVersionCheck: remove version_compare() existence check"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 14 Jun 2019 22:39:07 +0000 (22:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 14 Jun 2019 22:39:07 +0000 (22:39 +0000)
commit47cb68bd09264ab7281db6aa714681203fd51efc
tree6f772dea2cb73f12b7e7a425a14530d8e3bac6fb
parentef47bfa41ad0de04dafad01e85efab249acdad70
parenta24194d704102437f28a794f26070ca43a7a7bf1
Merge "PHPVersionCheck: remove version_compare() existence check"