diff --git a/modules/doc/library/Doc/DocTocHtmlRenderer.php b/modules/doc/library/Doc/DocTocHtmlRenderer.php
deleted file mode 100644
index e402f3eb4..000000000
--- a/modules/doc/library/Doc/DocTocHtmlRenderer.php
+++ /dev/null
@@ -1,45 +0,0 @@
-html[] = '
';
- }
-
- public function endIteration()
- {
- $this->html[] = '
';
- }
-
- public function beginChildren()
- {
- $this->html[] = '';
- }
-
- public function endChildren()
- {
- $this->html[] = '
';
- }
-
- public function render($callback)
- {
- foreach ($this as $node) {
- $this->html[] = $callback($node->getValue());
- }
- return implode("\n", $this->html);
- }
-}