From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 4 Jun 2015 07:31:04 +0200
Subject: Update to MediaWiki 1.25.1

---
 mw-config/overrides.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mw-config/overrides.php')

diff --git a/mw-config/overrides.php b/mw-config/overrides.php
index 57581525..40b3ddee 100644
--- a/mw-config/overrides.php
+++ b/mw-config/overrides.php
@@ -38,7 +38,7 @@ Then add the following to the bottom of this file:
 class MyLocalSettingsGenerator extends LocalSettingsGenerator {
 	function getText() {
 		// Modify an existing setting
-		$this->values['wgResourceLoaderMaxQueryLength'] = 512;
+		$this->values['wgDefaultSkin'] = 'vector';
 		// add a new setting
 		$ls = parent::getText();
 		return $ls . "\n\$wgUseTex = true;\n";
-- 
cgit v1.2.3-54-g00ecf