diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2018-10-15 14:58:59 -0700 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2018-10-15 14:58:59 -0700 |
| commit | 6e04121078d56b05dcc5906a1d4bd07dce4f1f42 (patch) | |
| tree | 4eee47bbd9995e2d2ec4e8f6a93bf3869336f071 /includes/PHPVersionCheck.php | |
| parent | 8867f81ab354b3acdb11a87f97b2f998716a0be2 (diff) | |
| download | mediawikicore-6e04121078d56b05dcc5906a1d4bd07dce4f1f42.tar.gz mediawikicore-6e04121078d56b05dcc5906a1d4bd07dce4f1f42.zip | |
Prepare for REL1_32 cut, labelling master as 1.33-alpha
Change-Id: I41c19a63d20dc4e734430ad4fe989fa5a9e18d62
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 c49318bb1e12..66fa9bd34941 100644 --- a/includes/PHPVersionCheck.php +++ b/includes/PHPVersionCheck.php @@ -28,7 +28,7 @@ */ class PHPVersionCheck { /* @var string The number of the MediaWiki version used */ - var $mwVersion = '1.32'; + var $mwVersion = '1.33'; var $functionsExtensionsMapping = array( 'mb_substr' => 'mbstring', 'xml_parser_create' => 'xml', |