diff options
author | Reedy <reedy@wikimedia.org> | 2019-05-29 00:38:05 +0100 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2019-06-06 14:02:29 +0100 |
commit | 49fde28a202bfbc89650908d8f5b55339d4bc8b6 (patch) | |
tree | 68acae160d0f8d1fad9b5c771d0f48ae39a8f85e | |
parent | 76b94fb6984430bdfc930f1732e93a7b333a2475 (diff) |
Prepare 1.30.21.30.2
Change-Id: Ia90d2161daabad70f3b4363be505d4064c577492
-rw-r--r-- | RELEASE-NOTES-1.30 | 2 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.30 b/RELEASE-NOTES-1.30 index 047f48691092..81d4976b6931 100644 --- a/RELEASE-NOTES-1.30 +++ b/RELEASE-NOTES-1.30 @@ -1,6 +1,6 @@ == MediaWiki 1.30.2 == -THIS IS NOT A RELEASE YET +This is a security and maintenance release of the MediaWiki 1.30 branch. === Changes since MediaWiki 1.30.1 === * (T204729) WatchedItemStore::countVisitingWatchersMultiple() shouldn't query all diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 0f792d20ac7a..4c0fbc4f7113 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.30.1'; +$wgVersion = '1.30.2'; /** * Name of the site. It must be changed in LocalSettings.php |