diff options
author | Mark A. Hershberger <mah@everybody.org> | 2014-10-29 13:22:57 -0400 |
---|---|---|
committer | Mark A. Hershberger <mah@everybody.org> | 2014-10-29 13:22:57 -0400 |
commit | 43aab90c9a2bff4d236077cd68a912f7833fb52d (patch) | |
tree | 84e9eed5d33b398eb86570c01938246678e3a59a | |
parent | b54f3fc9ca1ee4eb169deef4def133339b632746 (diff) |
Bump version number1.23.6
Change-Id: I3c4dcdd603f127f9b2f73a5e5975caecc43278bd
-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 69b0cb359831..a2684b8bb662 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -73,7 +73,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.23.5'; +$wgVersion = '1.23.6'; /** * Name of the site. It must be changed in LocalSettings.php |