diff options
author | Mark A. Hershberger <mah@everybody.org> | 2014-05-14 13:18:37 -0400 |
---|---|---|
committer | Mark A. Hershberger <mah@everybody.org> | 2014-05-14 13:18:37 -0400 |
commit | 182a415bc915693b6e21d869646f71055e557bc4 (patch) | |
tree | ba1137d9bfc4e7ffbb81e4ec7266bd9a205d75b9 | |
parent | 267ffc505e92c385efd683a0331e7a832894f38b (diff) |
RELEASE 1.23.0-rc.11.23.0-rc.1
Change-Id: I545756411db2db58056c611b76d270e9257d7af1
-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 7d5c63fd3793..96fc113dbee4 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -70,7 +70,7 @@ $wgConfigClass = 'GlobalConfig'; * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.23.0rc0'; +$wgVersion = '1.23.0-rc.1'; /** * Name of the site. It must be changed in LocalSettings.php |