[Tickets #11461] PHP errors about missing 'registry'

[bugs at horde.org]

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

Ticket URL: http://bugs.horde.org/ticket/11461
------------------------------------------------------------------------------
  Ticket             | 11461
  Created By         | Thomas Jarosch <thomas.jarosch at intra2net.com>
  Summary            | PHP errors about missing 'registry'
  Queue              | Horde Framework Packages
  Version            | Git develop
  Type               | Bug
  State              | Unconfirmed
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


Thomas Jarosch <thomas.jarosch at intra2net.com> (2012-10-04 10:24) wrote:

Error messages in horde.log with git HEAD:

2012-10-04T12:19:05+02:00 NOTICE: HORDE [horde] PHP ERROR: Undefined  
variable: registry [pid 3027 on line 101 of  
"/datastore/DEVEL/horde/framework/Core/lib/Horde/Menu.php"]
2012-10-04T12:19:05+02:00 NOTICE: HORDE [horde] PHP ERROR: Trying to  
get property of non-object [pid 3027 on line 101 of  
"/datastore/DEVEL/horde/framework/Core/lib/Horde/Menu.php"]