diff options
author | Reedy <reedy@wikimedia.org> | 2017-12-08 21:58:24 +0000 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2017-12-08 21:58:45 +0000 |
commit | 830bb58fa2d24eb93d45135c6becd53f6c50d491 (patch) | |
tree | c19bf72fb07bb5ccd3776c013accf855f78d65f9 | |
parent | 6a770db712332f349d88a16ff20835eacef96d71 (diff) |
Bump $wgVersion1.30.0
Remove "alpha quality" stuff from RELEASE-NOTES-1.30
Change-Id: Ia5c5d539d204abedbf8a47c18ed0c6757d6274da
-rw-r--r-- | RELEASE-NOTES-1.30 | 5 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 1 insertions, 6 deletions
diff --git a/RELEASE-NOTES-1.30 b/RELEASE-NOTES-1.30 index 31090fab9a90..6823e7b922da 100644 --- a/RELEASE-NOTES-1.30 +++ b/RELEASE-NOTES-1.30 @@ -1,10 +1,5 @@ == MediaWiki 1.30 == -THIS IS NOT A RELEASE YET - -MediaWiki 1.30 is an alpha-quality branch and is not recommended for use in -production. - === Changes since MediaWiki 1.30.0-rc.0 === * Upgraded Moment.js from v2.15.0 to v2.19.3. * Add ip_changes to postgres/tables.sql. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 5ec61d71d547..8cdd192b6b3a 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.30.0-rc.0'; +$wgVersion = '1.30.0'; /** * Name of the site. It must be changed in LocalSettings.php |