From 052128da816cbacdc18bfa6ec6aba4abfaccf029 Mon Sep 17 00:00:00 2001
From: Denis Flaven <denis.flaven@combodo.com>
Date: Mon, 25 Mar 2013 13:31:51 +0000
Subject: [PATCH] #694: make $__comp_menus__ really global !

SVN:trunk[2655]
---
 setup/compiler.class.inc.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/setup/compiler.class.inc.php b/setup/compiler.class.inc.php
index 394f19d9e..f4e54aff3 100644
--- a/setup/compiler.class.inc.php
+++ b/setup/compiler.class.inc.php
@@ -146,6 +146,8 @@ class MFCompiler
 // Menus
 //
 
+global \$__comp_menus__; // ensure that the global variable is indeed global !
+
 EOF;
 				// Preliminary: determine parent menus not defined within the current module
 				$aMenusToLoad = array();