From 364f0b716dc6dab82222bf43c4d621abe0ef3b00 Mon Sep 17 00:00:00 2001 From: "Mark A. Hershberger" Date: Mon, 20 Apr 2015 20:31:48 -0400 Subject: [PATCH] Allow extensions to set $wgDisableCounters. Alternatively, removing this completely might surface the issue for users more quickly. Without this change, resolving {T74420} becomes more of an issue. Bug: T74420 Change-Id: Ib2dc9ed56a945acb06b64f3b85ff07ac2a6b7600 (cherry picked from commit 6b4d6662b5b5005bb84f4c5e6315288611bf57f1) --- includes/Setup.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/includes/Setup.php b/includes/Setup.php index a97cfa6ad9..90fbf61a3e 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -536,7 +536,9 @@ if ( $wgTmpDirectory === false ) { // We don't use counters anymore. Left here for extensions still // expecting this to exist. Should be removed sometime 1.26 or later. -$wgDisableCounters = true; +if ( !isset( $wgDisableCounters ) ) { + $wgDisableCounters = true; +} if ( $wgMainWANCache === false ) { // Setup a WAN cache from $wgMainCacheType with no relayer. -- 2.20.1