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

Another big cull on unused variables and such

Browse source
This commit is contained in:
Sam Reed 2010-10-29 21:55:29 +00:00
parent a39def326d
commit 68c90be0a0
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CategoryTree.php
View file

@ -361,8 +361,6 @@ function efCategoryTreeArticleFromTitle( $title, &$article ) {
function efCategoryTreeOutputPageMakeCategoryLinks( $out, &$categories, &$links ) {
global $wgCategoryTreePageCategoryOptions;
$ct = new CategoryTree( $wgCategoryTreePageCategoryOptions );
foreach ( $categories as $category => $type ) {
$links[$type][] = efCategoryTreeParserHook( $category, $wgCategoryTreePageCategoryOptions, null, true );
}