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

Remove unused CategoryTreeCategoryViewer::$child_cats

Browse source 
Usage removed in 2009 with r47049 (23187e510a).

Change-Id: Id40904a286de73b0f057243d3f70178b77186d81
This commit is contained in:
Umherirrender 2023-02-23 21:47:29 +01:00 committed by Krinkle
parent 18425dc613
commit cca06d7656
1 changed files with 0 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
includes/CategoryTreeCategoryViewer.php
View file

@ -24,9 +24,6 @@ use Category;
use CategoryViewer; use CategoryViewer;
class CategoryTreeCategoryViewer extends CategoryViewer { class CategoryTreeCategoryViewer extends CategoryViewer {
/** @var array */
public $child_cats;
/** @var CategoryTree */ /** @var CategoryTree */
public $categorytree; public $categorytree;
@ -70,22 +67,4 @@ class CategoryTreeCategoryViewer extends CategoryViewer {
$this->children_start_char[] = $this->getSubcategorySortChar( $title, $sortkey ); $this->children_start_char[] = $this->getSubcategorySortChar( $title, $sortkey );
} }
/**
* @inheritDoc
*/
public function clearCategoryState() {
$this->child_cats = [];
parent::clearCategoryState();
}
/**
* @inheritDoc
*/
public function finaliseCategoryState() {
if ( $this->flip ) {
$this->child_cats = array_reverse( $this->child_cats );
}
parent::finaliseCategoryState();
}
} }