<?php
require_once('config.php');
require_once('lib/general.php');
+require_once('lib/menu.php');
$jsfiles = array('lib/json_parse.js');
$jscode = '';
+$menu = menu();
$html = process();
-
$debug = debug_info();
?>
<body>
<div id="header">
<h1>Kostenrechnung Friesoyther Wasseracht</h1>
- <div id="menu">
- <ul id="nav">
- <li><a href="#">Start</a></li>
- <li><a href="#">Eingabe</a></li>
- <li><a href="#">Abfragen</a></li>
- <li><a href="#">FooBar</a></li>
- </ul>
- </div>
+<?=$menu; ?>
</div>
<div class="content">
--- /dev/null
+<?php
+
+function menu()
+{
+ if (empty($_SESSION['sys']['login'])) return '';
+
+ $ret = '<div id="menu">
+ <ul id="nav">
+ <li><a href="./">Start</a></li>
+ <li><a href="./?mask=personal">Personal</a></li>
+ <li><a href="./?mask=overview_gewaesser">Gewässer</a></li>
+ <li><a href="#">Abfragen</a></li>
+ </ul>
+</div>
+';
+ return $ret;
+}
+
+?>
\ No newline at end of file