Fix undefined $db
[lhc/web/wiklou.git] / includes / PHPVersionCheck.php
index 5a440c4..a862903 100644 (file)
  */
 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',
        );
 
        /**
@@ -97,7 +98,7 @@ class PHPVersionCheck {
                        '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',
                );
        }
 
@@ -230,9 +231,9 @@ HTML;
        /**
         * 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 ) {