Bump version from rc.0 to rc.2

Should've been bumped awhile ago to rc.1, meaning the rc.1
tag had the wrong version number. Rather than re-issue the
tag, we'll just move forward and not bother with rc.1

Change-Id: Ie89caf3826c35c3a15fe1390c4caec1f8b7d19cc

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index ed88859..2dad6c5 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@ $wgConfigRegistry = [
  * MediaWiki version number
  * @since 1.2
  */
-$wgVersion = '1.31.0-rc.0';
+$wgVersion = '1.31.0-rc.2';
 
 /**
  * Name of the site. It must be changed in LocalSettings.php