From 27d7bc2d376e45ead3e5ee75bf1a781096170a2c Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 4 Oct 2014 10:10:15 +0200 Subject: Update to MediaWiki 1.22.12 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'includes/DefaultSettings.php') diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 1ec2ea35..84374c42 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -63,7 +63,7 @@ $wgConf = new SiteConfiguration; * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.22.11'; +$wgVersion = '1.22.12'; /** * Name of the site. It must be changed in LocalSettings.php -- cgit v1.2.3-54-g00ecf