*/
class PHPVersionCheck {
/* @var string The number of the MediaWiki version used */
- var $mwVersion = '1.30';
+ var $mwVersion = '1.31';
var $functionsExtensionsMapping = array(
'mb_substr' => 'mbstring',
'utf8_encode' => 'xml',
'ctype_digit' => 'ctype',
'json_decode' => 'json',
'iconv' => 'iconv',
+ 'mime_content_type' => 'fileinfo',
);
/**
'vendor' => 'the PHP Group',
'upstreamSupported' => '5.5.0',
'minSupported' => '5.5.9',
- 'upgradeURL' => 'http://www.php.net/downloads.php',
+ 'upgradeURL' => 'https://secure.php.net/downloads.php',
);
}
/**
* Returns an error page, which is suitable for output to the end user via a web browser.
*
- * @param $title
- * @param $longHtml
- * @param $shortText
+ * @param string $title
+ * @param string $longHtml
+ * @param string $shortText
* @return string
*/
function getIndexErrorOutput( $title, $longHtml, $shortText ) {