diff options
author | mglaser <glaser@hallowelt.biz> | 2014-04-24 21:49:51 +0200 |
---|---|---|
committer | mglaser <glaser@hallowelt.biz> | 2014-04-24 22:16:04 +0200 |
commit | a8c992ec47541d5d8c8e7a93007895e42ffd79c9 (patch) | |
tree | 8993de2f92feec8a9b8837ac86421760c8b239fb | |
parent | bd1e999c1ed15b33221b9f6ec068804b5f968219 (diff) |
Updated version number to MediaWiki 1.23.0rc01.23.0rc0
This is the first release candidate of MediaWiki 1.23 branch
Change-Id: I4a723d3e454eda36e380da3c7aa9743a4ef88f21
-rw-r--r-- | includes/DefaultSettings.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index f7936ecbe0ec..f3a95e36772f 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -70,7 +70,7 @@ $wgConfigClass = 'GlobalConfig'; * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.23alpha'; +$wgVersion = '1.23.0rc0'; /** * Name of the site. It must be changed in LocalSettings.php |