diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2017-09-19 11:34:47 -0700 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2017-09-19 11:34:47 -0700 |
| commit | 9eb577563629c24aa97c5546137b61516e10c02b (patch) | |
| tree | 81d0d3ab3b08d93da0b32728a25901271555c19c /includes/PHPVersionCheck.php | |
| parent | a3cab01a66d04dd978c3c1a78df06e4739132b1a (diff) | |
| download | mediawikicore-9eb577563629c24aa97c5546137b61516e10c02b.tar.gz mediawikicore-9eb577563629c24aa97c5546137b61516e10c02b.zip | |
Prepare for 1.31 branch
Change-Id: I2a1ce7b7af7ef9991a054332593b1f63a0213469
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', |