[Tickets #9917] Re: menu.php.dist is broken

[bugs at horde.org]

DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: http://bugs.horde.org/ticket/9917
------------------------------------------------------------------------------
  Ticket             | 9917
  Updated By         | Michael Slusarz <slusarz at horde.org>
  Summary            | menu.php.dist is broken
-Queue              | IMP
+Queue              | Horde Framework Packages
  Type               | Bug
-State              | Unconfirmed
+State              | Resolved
  Priority           | 1. Low
  Milestone          |
  Patch              | 1
  Owners             |
------------------------------------------------------------------------------


Michael Slusarz <slusarz at horde.org> (2011-04-15 05:41) wrote:

We shouldn't require users to have knowledge of Horde_Url in the  
configuration file.  Instead, ensure in Horde_Menu that we can pass a  
string value in for the URL value.