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