diff options
| author | Reedy <reedy@wikimedia.org> | 2019-10-12 00:51:25 +0100 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2019-10-15 16:28:17 +0000 |
| commit | 152cbbff36937b4afca5ed7ed34753c57af721ae (patch) | |
| tree | decbca5eee084c450d18811f5820eed5af193fac | |
| parent | 953cf998e3ef64972970b287bb8ec899191508e1 (diff) | |
Prepare 1.31.51.31.5
Change-Id: I7e0279e9bf00b7658356914ba7fbe27f89a23b3c
| -rw-r--r-- | RELEASE-NOTES-1.31 | 2 | ||||
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31 index 2a4ac43d41ee..a6c007f0b8e5 100644 --- 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 index 8c20bd5c6f3a..0a18a7007c7e 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -71,7 +71,7 @@ $wgConfigRegistry = [ * 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 |