wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-15 20:09:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't initialise wgCategoryTreeDefaultMode and wgCategoryTreeCategoryPageMode if they are already set.

Browse source 
Needed for http://bugzilla.wikimedia.org/show_bug.cgi?id=11776
This commit is contained in:
Jens Frank 2007-11-04 17:51:28 +00:00
parent d5fbafff9e
commit 047f6c892f
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
CategoryTree.php
View file

@ -49,8 +49,12 @@ $wgCategoryTreeUnifiedView = true;
$wgCategoryTreeOmitNamespace = false;
$wgCategoryTreeMaxDepth = array(CT_MODE_PAGES => 1, CT_MODE_ALL => 1, CT_MODE_CATEGORIES => 2);
$wgCategoryTreeExtPath = '/extensions/CategoryTree';
$wgCategoryTreeDefaultMode = CT_MODE_CATEGORIES;
$wgCategoryTreeCategoryPageMode = CT_MODE_CATEGORIES;
if ( ! isset( $wgCategoryTreeDefaultMode ) ) {
$wgCategoryTreeDefaultMode = CT_MODE_CATEGORIES;
}
if ( ! isset( $wgCategoryTreeCategoryPageMode ) ) {
$wgCategoryTreeCategoryPageMode = CT_MODE_CATEGORIES;
}
$wgCategoryTreeVersion = '1';
/**