$menu[$key]));
else
$weighted_menuitem[$weight] = array($key => $menu[$key]);
}
$menuitem = array_merge($menuitem, $menu);
}
ksort($weighted_menuitem);
DEBUG(print_r($weighted_menuitem, true));
/*
$menuitem["index"]["label"] = "Übersicht";
$menuitem["index"]["file"] = "index.php";
$menuitem["domains"]["label"] = "Domains";
$menuitem["domains"]["file"] = "domains.php";
$menuitem["mail"]["label"] = "E-Mail";
$menuitem["mail"]["file"] = "mail.php";
$menuitem["chpass"]["label"] = "Passwort ändern";
$menuitem["chpass"]["file"] = "chpass.php";
$menuitem["logout"]["label"] = "Abmelden";
$menuitem["logout"]["file"] = "logout.php";
*/
?>
'."\n"; ?>
Administration - '.$title.'';
else
echo 'Administration';
echo '
'
?>
$menuitem)
foreach ($menuitem as $key => $item)
{
if ($key == $section)
{
echo ''.$item['label'].''."\n";
if (isset($submenu[$key]))
{
echo "\n";
foreach ($submenu[$key] as $item)
{
if (basename($_SERVER['PHP_SELF']) == basename($item['file']))
echo ''.$item['label'].''."\n";
else
echo ''.$item['label'].''."\n";
}
echo "\n";
}
}
else
echo ''.$item['label'].''."\n";
}
?>