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

Follow up r72388. Add the hint to the subclass, too.

Browse source
This commit is contained in:
Platonides 2010-09-09 22:35:32 +00:00
parent 271ee4a15e
commit 95600c14bc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CategoryPageSubclass.php
View file

@ -22,7 +22,7 @@ class CategoryTreeCategoryViewer extends CategoryViewer {
/** /**
* Add a subcategory to the internal lists * Add a subcategory to the internal lists
*/ */
function addSubcategoryObject( $cat, $sortkey, $pageLength ) { function addSubcategoryObject( Category $cat, $sortkey, $pageLength ) {
global $wgRequest; global $wgRequest;
$title = $cat->getTitle(); $title = $cat->getTitle();