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

SVN:2.0[2656]
---
 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 d86ef06a6..2a3bcd0a0 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();