From 45b4484864b492a40570e99a9f5c87d2512cc6ad Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sat, 1 Nov 2014 07:47:43 +0100
Subject: Update to MediaWiki 1.22.13

---
 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 84374c42..df3d57b9 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.12';
+$wgVersion = '1.22.13';
 
 /**
  * Name of the site. It must be changed in LocalSettings.php
-- 
cgit v1.2.2