From: Michael M Slusarz <slusarz@curecanti.org>
Date: Wed, 10 Jun 2009 06:07:34 +0000 (+0000)
Subject: Unneeded inclusion of Menu.php.
X-Git-Url: https://git.internetallee.de/?a=commitdiff_plain;h=e5293b8855cbffda02d8caf3fb08bfd2702196c5;p=horde.git

Unneeded inclusion of Menu.php.
---

diff --git a/lib/Operator.php b/lib/Operator.php
index 098122904..327d24d51 100644
--- a/lib/Operator.php
+++ b/lib/Operator.php
@@ -2,7 +2,7 @@
 /**
  * Operator Base Class.
  *
- * $Horde: incubator/operator/lib/Operator.php,v 1.15 2009/06/10 06:01:00 slusarz Exp $
+ * $Horde: incubator/operator/lib/Operator.php,v 1.16 2009/06/10 06:07:34 slusarz Exp $
  *
  * Copyright 2008-2009 The Horde Project (http://www.horde.org/)
  *
@@ -21,8 +21,6 @@ class Operator {
     {
         global $conf, $registry, $browser, $print_link;
 
-        require_once 'Horde/Menu.php';
-
         $menu = new Horde_Menu(Horde_Menu::MASK_ALL);
         $menu->add(Horde::applicationUrl('viewgraph.php'), _("View Graphs"), 'graphs.png', null, null, null, basename($_SERVER['PHP_SELF']) == 'index.php' ? 'current' : null);
         $menu->add(Horde::applicationUrl('search.php'), _("Search"), 'search.png', $registry->getImageDir('horde'));