$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";
}
if ($role != ROLE_ANONYMOUS) {
echo 'Angemeldet als:
';
if ($role & ROLE_SYSTEMUSER) {
echo ''.$_SESSION['userinfo']['username'].'';
echo '
'.$_SESSION['userinfo']['name'];
echo '
(Benutzer'.(($role & ROLE_CUSTOMER) ? ', Kunde' : '').')';
}
elseif ($role & ROLE_CUSTOMER) {
echo ''.$_SESSION['customerinfo']['customerno'].'';
echo '
'.$_SESSION['customerinfo']['name'];
echo '
(Kunde)';
}
elseif ($role & ROLE_MAILACCOUNT) {
echo ''.$_SESSION['mailaccount'].'
(E-Mail-Account)';
}
echo '