From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Wed, 25 Apr 2018 01:01:40 +0000 (+0000)
Subject: Merge "PHPVersionCheck: Properly check for `xml` extension in PHP 7.2+"
X-Git-Tag: 1.34.0-rc.0~5614
X-Git-Url: https://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/banques/Category:D?a=commitdiff_plain;h=981e98179a48cdba456c7f108c00b4e3cab92265;p=lhc%2Fweb%2Fwiklou.git

Merge "PHPVersionCheck: Properly check for `xml` extension in PHP 7.2+"
---

981e98179a48cdba456c7f108c00b4e3cab92265
diff --cc includes/PHPVersionCheck.php
index 7c28b39c6e,e9db1b3d07..cfe889f781
--- a/includes/PHPVersionCheck.php
+++ b/includes/PHPVersionCheck.php
@@@ -27,10 -27,10 +27,10 @@@
   */
  class PHPVersionCheck {
  	/* @var string The number of the MediaWiki version used */
 -	var $mwVersion = '1.31';
 +	var $mwVersion = '1.32';
  	var $functionsExtensionsMapping = array(
  		'mb_substr'   => 'mbstring',
- 		'utf8_encode' => 'xml',
+ 		'xml_parser_create' => 'xml',
  		'ctype_digit' => 'ctype',
  		'json_decode' => 'json',
  		'iconv'       => 'iconv',