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

added missing initialization for 'category not found' code path

Browse source
This commit is contained in:
Daniel Kinzler 2008-07-04 20:05:29 +00:00
parent 200485740b
commit e2dc29c1f5
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CategoryTreeFunctions.php
View file

@ -358,6 +358,8 @@ class CategoryTree {
if ( isset( $attr['class'] ) ) $attr['class'] .= ' CategoryTreeTag';
else $attr['class'] = ' CategoryTreeTag';
$this->init();
$html = '';
$html .= Xml::openElement( 'div', $attr );