diff options
Diffstat (limited to 'includes/PHPVersionCheck.php')
| -rw-r--r-- | includes/PHPVersionCheck.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php index e9e271ce496d..a862903d5219 100644 --- a/includes/PHPVersionCheck.php +++ b/includes/PHPVersionCheck.php @@ -29,7 +29,7 @@ */ 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', |