diff options
| author | Reedy <reedy@wikimedia.org> | 2019-12-19 13:24:33 +0000 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2019-12-19 13:24:33 +0000 |
| commit | 0441c8194107fb48f056a8732d2f2c64cc0232e5 (patch) | |
| tree | 09c5d2bc7add5861fd18154270959f5a24c2ec62 | |
| parent | 3599f29cc3a1ca43c3ae1522e27d77a6e9222d29 (diff) | |
Bump and prep 1.31.61.31.6
Change-Id: I07df574bbc0a6e39be152a1f818e3ef87fb32cb0
| -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 52f2b78dbc37..14aab7fef3c6 100644 --- a/RELEASE-NOTES-1.31 +++ b/RELEASE-NOTES-1.31 @@ -1,6 +1,6 @@ == MediaWiki 1.31.6 == -THIS IS NOT A RELEASE YET +This is a security and maintenance release of the MediaWiki 1.31 branch. === Changes since MediaWiki 1.31.5 === * (T181658) Do not insert page titles into querycache.qc_value. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 0a18a7007c7e..29e3366c8700 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -71,7 +71,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.31.5'; +$wgVersion = '1.31.6'; /** * Name of the site. It must be changed in LocalSettings.php |