Bump to 1.31.0 for final release

Change-Id: Ie743443584e2c7a3aac2d185de1c3cb2eeca80b6

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index 8d5bab5..a304d50 100644 (file)
--- 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 811ac9b..97e27b7 100644 (file)
--- 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