diff options
author | Mukunda Modell <mmodell@wikimedia.org> | 2018-12-11 10:52:21 -0600 |
---|---|---|
committer | Mukunda Modell <mmodell@wikimedia.org> | 2018-12-11 10:54:22 -0600 |
commit | 9633c6d402073c9a28cc0756690009a3157b51da (patch) | |
tree | f547a91cec885fe48e4dc7dc7136c565e5b67cdd | |
parent | 10f48571a2204a7390a30fcd9067de089709d7f4 (diff) |
bump wgVersion to 1.32.0-rc.11.32.0-rc.1
Change-Id: Ib779ef76e851d7e430cd87f57d3fab2f7122290e
-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 be2d62ca3f65..64286d8bfbff 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -71,7 +71,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.32.0-rc.0'; +$wgVersion = '1.32.0-rc.1'; /** * Name of the site. It must be changed in LocalSettings.php |