diff --git a/modules/doc/library/Doc/DocToc.php b/modules/doc/library/Doc/DocToc.php deleted file mode 100644 index db7d9cb03..000000000 --- a/modules/doc/library/Doc/DocToc.php +++ /dev/null @@ -1,48 +0,0 @@ -value = $value; - } - - public function getValue() - { - return $this->value; - } - - public function appendChild($value) - { - $child = new self($value); - $this->children[] = $child; - return $child; - } - - public function hasChildren() - { - return ! empty($this->children); - } - - public function getChildren() - { - return $this->children; - } - - public function getIterator() - { - return new TreeIterator($this); - } -}