diff options
| author | Philip Häusler <msquare@notrademark.de> | 2011-06-03 16:30:00 +0200 |
|---|---|---|
| committer | Philip Häusler <msquare@notrademark.de> | 2011-06-03 16:30:00 +0200 |
| commit | 7bee3ce4d20a569e76ad6405e3cafa4aebe23c58 (patch) | |
| tree | 8213a0690894394b8f79b983b9a3c2ffd75bd20e /includes/menu.php | |
| parent | 7a6f4b2750465da6f59b13aefa575d734f5471f3 (diff) | |
config cleanup, removed unused files
Diffstat (limited to 'includes/menu.php')
| -rw-r--r-- | includes/menu.php | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/includes/menu.php b/includes/menu.php deleted file mode 100644 index 6a209a0f..00000000 --- a/includes/menu.php +++ /dev/null @@ -1,52 +0,0 @@ - -<!-- anfang des menue parts //--> - <td width="160" valign="top"> -<?php -ShowMenu(""); -ShowMenu("nonpublic"); -ShowMenu("admin"); - -if (!isset ($submenus)) - $submenus = 0; - -if ($submenus >= 1) { - $inc_name = $_SERVER['PHP_SELF']; - $filenamepos = strrpos($inc_name, '/'); - $filenamepos += 1; - $filename = substr($inc_name, $filenamepos); - $filepost = substr($filename, 0, -4); - $filepre = substr($filename, -4); - $verzeichnis = substr($inc_name, 0, $filenamepos); - - for ($index_nummer = 1; $index_nummer <= $submenus; $index_nummer++) { -?> -<nav class="container"> - <?php include ("./".$filepost.".".$index_nummer.$filepre); ?> -</nav> -<?php - - - } -} - -if (isset ($_SESSION['UID'])) { -?> -<nav class="container"> - <?php include("funktion_activeUser.php"); ?> -</nav> -<?php - - -} -?> - -<nav class="container"> -<h4><?php echo Get_Text("Sprache") ?></h4> -<?php - - -include ("funktion_flag.php"); -?> -</nav> - -<!-- ende des menue parts //--> |