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

diff --cc includes/PHPVersionCheck.php
index 7c28b39,e9db1b3..cfe889f
--- 1/includes/PHPVersionCheck.php
--- 2/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',