Extension:CategoryTree extension/Patch

From MediaWiki.org

This page was recently moved from MetaWiki. The page probably requires cleanup - please feel free to help out. Remove this template once that is done.

Index: CategoryPageSubclass.php
===================================================================
--- CategoryPageSubclass.php    (Revision 16339)
+++ CategoryPageSubclass.php    (Arbeitskopie)
@@ -12,8 +12,25 @@
 }

 class CategoryTreeCategoryViewer extends CategoryViewer {
-       var $child_titles;
+       #var $child_titles;

+       /**
+        * Add a subcategory to the internal lists
+        */
+       function addSubcategory( $title, $sortkey, $pageLength ) {
+               global $wgContLang, $wgOut;
+
+               if ( ! isset($this->categorytree) ) {
+                       CategoryTree::setHeaders( $wgOut );
+                       $this->categorytree = new CategoryTree;
+               }
+
+               $this->children[] = $this->categorytree->renderNode( $title );
+
+               $this->children_start_char[] = $this->getSubcategorySortChar( $title, $sortkey );
+       }
+
+       /*
        function getSubcategorySection() {
                global $wgOut, $wgRequest, $wgCookiePrefix;

@@ -101,5 +118,6 @@
                }
                parent::finaliseCategoryState();
        }
+       */
 }
 ?>