Prepare 1.31.2

Change-Id: I0e6ef5f4a51adbe20631265a693c86f2114859d4

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index e09851d..40c1f1e 100644 (file)
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -1,6 +1,6 @@
 == MediaWiki 1.31.2 ==
 
-THIS IS NOT A RELEASE YET
+This is a security and maintenance release of the MediaWiki 1.31 branch.
 
 Required PHP version has been increased from 7.0.0 to 7.0.13.
 

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 43b30b0..a855d92 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@ $wgConfigRegistry = [
  * MediaWiki version number
  * @since 1.2
  */
-$wgVersion = '1.31.1';
+$wgVersion = '1.31.2';
 
 /**
  * Name of the site. It must be changed in LocalSettings.php