diff options
author | Mark A. Hershberger <mah@everybody.org> | 2014-11-21 16:51:57 -0500 |
---|---|---|
committer | Mark A. Hershberger <mah@everybody.org> | 2014-11-21 16:51:57 -0500 |
commit | df9ba79276c58ea28fa5fb162cc6b7e6924df761 (patch) | |
tree | 6d2915cd59c9a81c8ee90da44a5ac51c5213be05 | |
parent | 6dd015aad4ed1f7761b51b3eea7c58f2e3ea6d54 (diff) |
Use version style that we already support1.24.0-rc.2
Can't use FINAL without modifying code, so let's just increment for now.
Change-Id: Ife146884b097905340947afc3239f41d1e073494
-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 50a1e9dd3783..6c369d5843cb 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = array( * Using single quotes is, therefore, important here. * @since 1.2 */ -$wgVersion = '1.24.0-rc.FINAL'; +$wgVersion = '1.24.0-rc.2'; /** * Name of the site. It must be changed in LocalSettings.php |