Merge "Remove workaround for PHP bug 66021 (PHP < 5.5.12)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 May 2018 02:28:30 +0000 (02:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 May 2018 02:28:30 +0000 (02:28 +0000)
commit51f26185bf9ff8b70ae4db96e6962a6aef0346e5
tree09814f92d4be7161bd58b14375cd17b275f1d9a7
parent1af8d0d0c50a5c59808319cba05b96bbf9b6086e
parentbb52950fee26ba2895aadeba0bf7d08fa66dfdd8
Merge "Remove workaround for PHP bug 66021 (PHP < 5.5.12)"