diff options
author | mglaser <glaser@hallowelt.biz> | 2014-06-04 22:57:29 +0200 |
---|---|---|
committer | mglaser <glaser@hallowelt.biz> | 2014-06-04 22:57:29 +0200 |
commit | 1346cdbba7e7f4560b572a73ecd3625192440e98 (patch) | |
tree | cdeb733c3a846df69c2a5202ea99192b93da4d10 | |
parent | 23d5d16bf43578399b862b53c1b6c5e55963e9a4 (diff) |
Updated release notes and version number for MediaWiki 1.23.01.23.0
This is MediaWiki 1.23.0 stable release.
Change-Id: Ibbfb27190d2d98c850849427c18526b898372ac8
-rw-r--r-- | RELEASE-NOTES-1.23 | 9 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 7 insertions, 4 deletions
diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23 index b1ae1f7119ef..156bc1b8c89d 100644 --- a/RELEASE-NOTES-1.23 +++ b/RELEASE-NOTES-1.23 @@ -3,10 +3,13 @@ have it on, turn it '''off''' if you can. == MediaWiki 1.23 == -THIS IS NOT A RELEASE YET +MediaWiki 1.23.0 is the stable branch and is recommended for use in production. -MediaWiki 1.23.0-rc.3 is a release candidate. It is not recommended for use in -production. +MediaWiki 1.23 is a large release that contains many new features and bug +fixes. This is the full list of changes in this version. + +Our thanks go to everyone who helped to improve MediaWiki by testing the beta +release and submitting bug reports. === Configuration changes in 1.23 === * (bug 13250) Restored method for clearing a watchlist in web UI diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 9b9ad7f3da42..74ec4f8f1ebb 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -73,7 +73,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.23.0-rc.3'; +$wgVersion = '1.23.0'; /** * Name of the site. It must be changed in LocalSettings.php |