Merge "Bump min supported HHVM version to 3.18.5"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Jan 2018 12:37:30 +0000 (12:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Jan 2018 12:37:30 +0000 (12:37 +0000)
commit395b9c81ffcc11b6a564a26418dad990e1a708d5
tree8f958a55864c3acb1083699c788a993da3e2c8d2
parentb2dea48568d1b0aa7685e03186dc70dad038c740
parent99c2be9f50a91e56eed8710947420c2d7fea97fb
Merge "Bump min supported HHVM version to 3.18.5"
RELEASE-NOTES-1.31
includes/PHPVersionCheck.php