| Index: trunk/extensions/CategoryTree/CategoryTree.php |
| — | — | @@ -66,7 +66,7 @@ |
| 67 | 67 | $wgCategoryTreeHijackPageCategories = false; # EXPERIMENTAL! NOT YET FOR PRODUCTION USE! Main problem is general HTML/CSS layout cruftiness. |
| 68 | 68 | |
| 69 | 69 | $wgCategoryTreeExtPath = '/extensions/CategoryTree'; |
| 70 | | -$wgCategoryTreeVersion = '3'; #NOTE: bump this when you change the CSS or JS files! |
| | 70 | +$wgCategoryTreeVersion = '4'; #NOTE: bump this when you change the CSS or JS files! |
| 71 | 71 | $wgCategoryTreeUseCategoryTable = version_compare( $wgVersion, "1.13", '>=' ); |
| 72 | 72 | |
| 73 | 73 | $wgCategoryTreeOmitNamespace = CT_HIDEPREFIX_CATEGORIES; |