jenkins-bot has submitted this change and it was merged.
Change subject: Allow extensions to set $wgDisableCounters.
......................................................................
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
---
M includes/Setup.php
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Setup.php b/includes/Setup.php
index e281768..2df4a2e 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -526,7 +526,9 @@
// 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;
+}
Profiler::instance()->scopedProfileOut( $ps_default2 );
--
To view, visit https://gerrit.wikimedia.org/r/205479
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib2dc9ed56a945acb06b64f3b85ff07ac2a6b7600
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_25
Gerrit-Owner: MarkAHershberger <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: MarkAHershberger <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
