[Tickets #9917] 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
  Created By         | info at standa-david.com
  Summary            | menu.php.dist is broken
  Queue              | IMP
  Version            | Git master
  Type               | Bug
  State              | Unconfirmed
  Priority           | 1. Low
  Milestone          |
  Patch              | 1
  Owners             |
+New Attachment     |  
0001-Updated-menu.php.dist-due-to-te-changes-in-new-Horde.patch
------------------------------------------------------------------------------


info at standa-david.com (2011-04-14 22:27) wrote:

Menu.php was broken. Url must be Horde_Url object. Patch included.