Reedy has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/106180


Change subject: Remove wmgCategoryTreeDynamicTag
......................................................................

Remove wmgCategoryTreeDynamicTag

Change-Id: I0a6a2434067245edbeb3c135ad7f14ed55acd9f1
---
M wmf-config/CommonSettings.php
M wmf-config/InitialiseSettings.php
2 files changed, 1 insertion(+), 5 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/80/106180/1

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 7fc6f0f..c039848 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -594,7 +594,7 @@
 
 if ( $wmgUseCategoryTree ) {
        require( $IP . '/extensions/CategoryTree/CategoryTree.php' );
-       $wgCategoryTreeDynamicTag = $wmgCategoryTreeDynamicTag;
+       $wgCategoryTreeDynamicTag = true;
        $wgCategoryTreeCategoryPageMode = $wmgCategoryTreeCategoryPageMode;
        $wgCategoryTreeCategoryPageOptions = 
$wmgCategoryTreeCategoryPageOptions;
 }
diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 7d3025c..1b5de7c 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -9274,10 +9274,6 @@
        'votewiki' => false,
 ),
 
-'wmgCategoryTreeDynamicTag' => array(
-       'default' => true,
-),
-
 // CT_MODE_CATEGORIES = 0
 // CT_MODE_PAGES = 10
 // CT_MODE_ALL = 20

-- 
To view, visit https://gerrit.wikimedia.org/r/106180
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0a6a2434067245edbeb3c135ad7f14ed55acd9f1
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to