diff options
author | Reedy <reedy@wikimedia.org> | 2019-12-19 13:30:24 +0000 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2019-12-19 13:30:24 +0000 |
commit | 4d49bc39441e4a63cd12f10ad47afbca9979648b (patch) | |
tree | 0ea326ece2ee1ea77bf9af108da4181c22a30193 | |
parent | 6940993c48af259c476e550d03bf4cb28dfeea40 (diff) |
Bump and prep 1.33.21.33.2
Change-Id: I5e8646dae526e6fc4e1022bfc040882777015fcd
-rw-r--r-- | RELEASE-NOTES-1.33 | 2 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.33 b/RELEASE-NOTES-1.33 index 09066d00a26e..e4dfb3354581 100644 --- a/RELEASE-NOTES-1.33 +++ b/RELEASE-NOTES-1.33 @@ -1,6 +1,6 @@ == MediaWiki 1.33.2 == -THIS IS NOT A RELEASE YET +This is a security and maintenance release of the MediaWiki 1.33 branch. === Changes since MediaWiki 1.33.1 === * (T217831) (T200653) PopulateContentTables: compute sha1 and length if needed. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 1853a8fe2f3d..a179087f0d95 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -72,7 +72,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.33.1'; +$wgVersion = '1.33.2'; /** * Name of the site. It must be changed in LocalSettings.php |