Merge "Bump PHP version requirement to 7.0.0+" into REL1_31
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Apr 2018 20:48:46 +0000 (20:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Apr 2018 20:48:47 +0000 (20:48 +0000)
commit5f4a6e7f2a454eafd0c847afc1e9dc1594623ffa
tree5d0589b73a6388f22f7ddd9cc0a04ceaaa33a8c9
parent514522b6c0594571bb810a07611c8ca08736734a
parentaec80a1fb774715e43430ab583c190b79e468fce
Merge "Bump PHP version requirement to 7.0.0+" into REL1_31