diff options
| author | mglaser <glaser@hallowelt.biz> | 2014-06-02 23:20:43 +0200 |
|---|---|---|
| committer | mglaser <glaser@hallowelt.biz> | 2014-06-02 23:20:43 +0200 |
| commit | d52fa43891f422b2ba515f3bfebabf41afc63e4e (patch) | |
| tree | 321eaf7d9b814c4a1dfbea24cc7fdab330f749f5 | |
| parent | cabf7e40b65424b892787a5ea7b686de86809357 (diff) | |
Updated release notes and version number for MediaWiki 1.23.0-rc.31.23.0-rc.3
This is MediaWiki 1.23.0-rc.3 release candidate.
Change-Id: Iad21d8fbd0bfc3f84e000eda649ca12bcd3b0568
| -rw-r--r-- | RELEASE-NOTES-1.23 | 2 | ||||
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23 index 2a38233e0d17..b1ae1f7119ef 100644 --- a/RELEASE-NOTES-1.23 +++ b/RELEASE-NOTES-1.23 @@ -5,7 +5,7 @@ have it on, turn it '''off''' if you can. THIS IS NOT A RELEASE YET -MediaWiki 1.23.0-rc.2 is a release candidate. It is not recommended for use in +MediaWiki 1.23.0-rc.3 is a release candidate. It is not recommended for use in production. === Configuration changes in 1.23 === diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 2fe827118cdc..9b9ad7f3da42 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.2'; +$wgVersion = '1.23.0-rc.3'; /** * Name of the site. It must be changed in LocalSettings.php |