Prepare 1.31.4

Change-Id: I21a8dbeed30df0e8d3a1063e8d10eaa5e9c9ad77

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index 231f710..dde7064 100644 (file)
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -1,6 +1,6 @@
 == MediaWiki 1.31.4 ==
 
 == MediaWiki 1.31.4 ==
 

-THIS IS NOT A RELEASE YET
+This is a security and maintenance release of the MediaWiki 1.31 branch.

 
 === Changes since MediaWiki 1.31.3 ===
 * (T207100) Updated LanguageTr for dotted and dotless I in PHP 7.3.
 
 === Changes since MediaWiki 1.31.3 ===
 * (T207100) Updated LanguageTr for dotted and dotless I in PHP 7.3.


@@ -14,6 +14,10 @@ THIS IS NOT A RELEASE YET
 * (T202183) Give more specific error messages on Special:Redirect.
 * Cache redirects from Special:Redirect.
 * (T231386) dispatchUser() should use a 302 http status code.
 * (T202183) Give more specific error messages on Special:Redirect.
 * Cache redirects from Special:Redirect.
 * (T231386) dispatchUser() should use a 302 http status code.

+* (T227662) Split down patch-comment-table.sql and patch-actor-table.sql into
+  separate files to help allieviate potential migration problems.
+* Make SQLite's patch-add-3d.sql a no-op to prevent clobbering other database
+  updates.

 
 == MediaWiki 1.31.3 ==
 
 
 == MediaWiki 1.31.3 ==
 

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index fd4c7af..8c20bd5 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@ $wgConfigRegistry = [
  * MediaWiki version number
  * @since 1.2
  */
  * MediaWiki version number
  * @since 1.2
  */

-$wgVersion = '1.31.3';
+$wgVersion = '1.31.4';

 
 /**
  * Name of the site. It must be changed in LocalSettings.php
 
 /**
  * Name of the site. It must be changed in LocalSettings.php