diff --git a/lib/menu.php b/lib/menu.php
index 751f8e1b7d..2713b44d50 100644
--- a/lib/menu.php
+++ b/lib/menu.php
@@ -62,23 +62,6 @@ class Menu extends Widget
         $this->actionName = $action->trimmed('action');
     }
 
-    function id()
-    {
-        return 'unknown_menu';
-    }
-
-    function menuStart()
-    {
-        $this->action->elementStart('div', array('id' => $this->id()));
-        $this->action->elementStart('ul', array('class' => 'nav'));
-    }
-
-    function menuEnd()
-    {
-        $this->action->elementEnd('ul');
-        $this->action->elementEnd('div');
-    }
-
     function item($actionName, $args, $label, $description, $id=null)
     {
         if (empty($id)) {