Merge "PHPVersionCheck: Properly check for `xml` extension in PHP 7.2+"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 25 Apr 2018 01:01:40 +0000 (01:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 25 Apr 2018 01:01:40 +0000 (01:01 +0000)
commit981e98179a48cdba456c7f108c00b4e3cab92265
tree17f650a7b2d58c5cf876421dd93c216b33fe3760
parent3f1142045f51328197239aa62882881003bb9cdb
parent9e5785b7204e6a927e7f60ce4cbdeedad8f45818
Merge "PHPVersionCheck: Properly check for `xml` extension in PHP 7.2+"
includes/PHPVersionCheck.php