From 362a962c8db517f435843af45f0747ead6878252 Mon Sep 17 00:00:00 2001 From: Chad Horohoe Date: Wed, 30 May 2018 11:00:05 -0700 Subject: [PATCH] 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 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index ed88859d7e..2dad6c537b 100644 --- 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 -- 2.20.1