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

Bump style version

Browse source
This commit is contained in:
Andrew Garrett 2009-03-09 11:54:39 +00:00
parent 7d4d7b0740
commit 47d75cfb22
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CategoryTree.php
View file

@ -66,7 +66,7 @@ $wgCategoryTreeSidebarRoot = NULL;
$wgCategoryTreeHijackPageCategories = false; # EXPERIMENTAL! NOT YET FOR PRODUCTION USE! Main problem is general HTML/CSS layout cruftiness.
$wgCategoryTreeExtPath = '/extensions/CategoryTree';
$wgCategoryTreeVersion = '4'; #NOTE: bump this when you change the CSS or JS files!
$wgCategoryTreeVersion = '5'; #NOTE: bump this when you change the CSS or JS files!
$wgCategoryTreeUseCategoryTable = version_compare( $wgVersion, "1.13", '>=' );
$wgCategoryTreeOmitNamespace = CT_HIDEPREFIX_CATEGORIES;