From 27d7bc2d376e45ead3e5ee75bf1a781096170a2c Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
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.2