From 06f04a2df473a712b61015db19c4f2da0c9808c3 Mon Sep 17 00:00:00 2001
From: Jakub Klinkovský <j.l.k@gmx.com>
Date: Sat, 16 Jul 2016 13:16:37 +0200
Subject: LocalSettings: remove $wgDisableCounters

The feature was completely removed in MediaWiki 1.25.0, see
https://www.mediawiki.org/wiki/Manual:$wgDisableCounters
---
 LocalSettings.archlinux.org.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/LocalSettings.archlinux.org.php b/LocalSettings.archlinux.org.php
index f889ecc5..57594b08 100644
--- a/LocalSettings.archlinux.org.php
+++ b/LocalSettings.archlinux.org.php
@@ -129,7 +129,6 @@ $wgMemCachedServers = array();
 ## be publically accessible from the web.
 $wgCacheDirectory = "$IP/../cache/data";
 $wgShowIPinHeader = false;
-$wgDisableCounters = true;
 $wgEnableSidebarCache = true;
 $wgUseFileCache = true;
 $wgFileCacheDirectory = "$IP/../cache/html";
-- 
cgit v1.2.3-54-g00ecf