PHP errors about missing 'registry'

Error messages in horde.log with git HEAD: 2012-10-04T12:

Thu, 04 Oct 2012 10:24:57 +0000

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"]

Changes have been made in Git (master): commit 764c88193e0e

Thu, 04 Oct 2012 15:09:47 +0000

Changes have been made in Git (master): commit 764c88193e0e4292f275b5d37a81c130d7e548d7 Author: Michael J Rubinsky Date: Thu Oct 4 11:09:22 2012 -0400 Bug: 11461 Fix scope. framework/Core/lib/Horde/Menu.php | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) http://git.horde.org/horde-git/-/commit/764c88193e0e4292f275b5d37a81c130d7e548d7

Changes have been made in Git (develop): commit 764c88193e0

Mon, 15 Oct 2012 20:42:12 +0000

Changes have been made in Git (develop): commit 764c88193e0e4292f275b5d37a81c130d7e548d7 Author: Michael J Rubinsky Date: Thu Oct 4 11:09:22 2012 -0400 Bug: 11461 Fix scope. framework/Core/lib/Horde/Menu.php | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) http://git.horde.org/horde-git/-/commit/764c88193e0e4292f275b5d37a81c130d7e548d7