diff options
author | Chad Horohoe <chadh@wikimedia.org> | 2017-04-11 11:38:48 -0700 |
---|---|---|
committer | Chad Horohoe <chadh@wikimedia.org> | 2017-04-11 11:38:48 -0700 |
commit | 57062b01fdeafa5d63387b45b92bd2350d220a88 (patch) | |
tree | 409078aff739db5361562d4d509ce822d64cc767 | |
parent | 12a617ea933e3858cc7130741fceaa7e01119c7e (diff) |
Change-Id: Id32ccf1826c09ee134122e6b3f8aa5fd3bcc60be
-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 ee9b3f368ada..47d988a0af9a 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -73,7 +73,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.23.16'; +$wgVersion = '1.23.17'; /** * Name of the site. It must be changed in LocalSettings.php |