Prepare 1.31.5

reedy · reedy · commit 152cbbff3693 · 2019-10-15T16:28:17.000Z
Change-Id: I7e0279e9bf00b7658356914ba7fbe27f89a23b3c
diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
@@ -1,6 +1,6 @@
 == MediaWiki 1.31.5 ==
 
-THIS IS NOT A RELEASE YET
+This is a maintenance release of the MediaWiki 1.31 branch.
 
 === Changes since MediaWiki 1.31.4 ===
 * Fix extra newlines in installer.
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@
  * MediaWiki version number
  * @since 1.2
  */
-$wgVersion = '1.31.4';
+$wgVersion = '1.31.5';
 
 /**
  * Name of the site. It must be changed in LocalSettings.php
