diff options
author | Reedy <reedy@wikimedia.org> | 2019-11-05 21:39:34 +0000 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2019-11-05 21:40:24 +0000 |
commit | 6170b0c2638fa6326a9dec2aeb4836ddac016b85 (patch) | |
tree | 1a08877ae1aa838a6fe20d8ed5ce827bc6b9ff44 | |
parent | 18b3c566fcdf61dad674c0010ce3beb4309d7a04 (diff) |
Bump $wgVersion 1.34.0-rc.11.34.0-rc.1
Change-Id: Ia14a51d05256e8110359865f7c239fd13d700f40
-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 e2bbf0ed6803..a10c30b959ff 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -72,7 +72,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.34.0-rc.0'; +$wgVersion = '1.34.0-rc.1'; /** * Name of the site. It must be changed in LocalSettings.php |