5 if (empty($_SESSION['sys']['login'])) return '';
7 $ret = '<div class="menu">';
9 $ret .= '<ul id="menu" class="dropdown">';
11 $ret .= '<li><span>Home</span>';
13 $ret .= '<li><a href="./" title="Zurück zur Hauptseite">Start</a></li>';
14 $ret .= '<li><a href="./?logout=true" title="Abmelden">Logout</a></li>';
16 $sql = "SELECT fname,menutitle,name FROM sys_mask "
17 . "JOIN sys_menu ON sys_mask.menu = sys_menu.id "
18 . "JOIN sys_group_mask ON sys_mask.id = sys_group_mask.mask "
19 . "WHERE sys_group_mask.gid = ".$_SESSION['sys']['group']." "
20 . "ORDER BY sys_menu.priority,sys_menu.name,sys_mask.priority,sys_mask.menutitle";
21 $sth = pg_query($sql);
26 while ($row = pg_fetch_assoc($sth)) {
27 if ($menu != $row['name']) {
29 $ret .= sprintf('<li><span>%s</span>', $row['name']);
33 $ret .= sprintf('<li><a href="./?mask=%s">%s</a></li>', $row['fname'], $row['menutitle']);