// Are there jobs to be done?
if ($JOBS_DONE) {
// Generate overview of all main menus
- global $menuDesription, $FATAL;
+ global $menuDesription;
if ((is_array($menuDesription)) && (sizeof($menuDesription) > 0)) {
$OUT = "";
foreach ($menuDesription as $key => $value)