From 47d75cfb22331e6513b1828da1dce3771b1861c5 Mon Sep 17 00:00:00 2001 From: Andrew Garrett Date: Mon, 9 Mar 2009 11:54:39 +0000 Subject: [PATCH] Bump style version --- CategoryTree.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CategoryTree.php b/CategoryTree.php index 78a447a9..4c5fe5fa 100644 --- a/CategoryTree.php +++ b/CategoryTree.php @@ -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;