Merge "Allow PHP version check to execute on older versions of PHP"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Jul 2019 04:00:22 +0000 (04:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Jul 2019 04:00:22 +0000 (04:00 +0000)
commit83696828b246eca32ce14ef8efadca1eaf3bf584
tree526b7a84c185bf9fa5f758d0c02168f2d4b15125
parent8e19cf45818dde3fada5b006a77f56a0f5d209f1
parentb8b2514940e0e3a52e9d27f5432cdbb4d7f0c8b5
Merge "Allow PHP version check to execute on older versions of PHP"