From 5cfc9accca2cc2fb94060c309d562913b7bed57c Mon Sep 17 00:00:00 2001 From: Chad Horohoe Date: Wed, 13 Jun 2018 11:33:16 -0400 Subject: [PATCH 1/1] Bump to 1.31.0 for final release Change-Id: Ie743443584e2c7a3aac2d185de1c3cb2eeca80b6 --- RELEASE-NOTES-1.31 | 5 ----- includes/DefaultSettings.php | 2 +- 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31 index 8d5bab5dbe..a304d5068f 100644 --- a/RELEASE-NOTES-1.31 +++ b/RELEASE-NOTES-1.31 @@ -1,10 +1,5 @@ == MediaWiki 1.31 == -THIS IS NOT A RELEASE YET - -MediaWiki 1.31 is an alpha-quality branch and is not recommended for use in -production. - === Changes since MediaWiki 1.31.0-rc.2 === * (T195783) Initialize PSR-4 namespaces at same stage as normal autoloader. * (T196092) Hide MySQL binary/utf-8 charset option in the installer. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 811ac9b229..97e27b7d82 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -71,7 +71,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.31.0-rc.2'; +$wgVersion = '1.31.0'; /** * Name of the site. It must be changed in LocalSettings.php -- 2.20.1