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

Method documentation. Remove freeResult call

Browse source
This commit is contained in:
Sam Reed 2011-02-11 11:28:58 +00:00
parent e45dfe21c4
commit e1e45855eb
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
CategoryTreeFunctions.php
View file

@ -496,7 +496,7 @@ class CategoryTree {
/**
* Returns a string with an HTML representation of the parents of the given category.
* $title must be a Title object
* @var $title Title
*/
function renderParents( $title ) {
global $wgCategoryTreeMaxChildren;
@ -545,8 +545,6 @@ class CategoryTree {
$s .= "\n\t\t";
}
$dbr->freeResult( $res );
return $s;
}