jenkins-bot has submitted this change and it was merged.
Change subject: Remove $wgCategoryTreeDynamicTag = true
......................................................................
Remove $wgCategoryTreeDynamicTag = true
Bug: 59798
Change-Id: I7565f0feeed8c4a2780490f8064e626d6e393faa
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 8c80447..abe7960 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -595,7 +595,6 @@
if ( $wmgUseCategoryTree ) {
require( $IP . '/extensions/CategoryTree/CategoryTree.php' );
- $wgCategoryTreeDynamicTag = true;
$wgCategoryTreeCategoryPageMode = $wmgCategoryTreeCategoryPageMode;
$wgCategoryTreeCategoryPageOptions =
$wmgCategoryTreeCategoryPageOptions;
}
--
To view, visit https://gerrit.wikimedia.org/r/107008
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7565f0feeed8c4a2780490f8064e626d6e393faa
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
