summaryrefslogtreecommitdiff
path: root/includes/menu.php
diff options
context:
space:
mode:
authorPhilip Häusler <msquare@notrademark.de>2011-06-03 16:30:00 +0200
committerPhilip Häusler <msquare@notrademark.de>2011-06-03 16:30:00 +0200
commit7bee3ce4d20a569e76ad6405e3cafa4aebe23c58 (patch)
tree8213a0690894394b8f79b983b9a3c2ffd75bd20e /includes/menu.php
parent7a6f4b2750465da6f59b13aefa575d734f5471f3 (diff)
config cleanup, removed unused files
Diffstat (limited to 'includes/menu.php')
-rw-r--r--includes/menu.php52
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 //-->