diff options
Diffstat (limited to 'includes/init.php')
-rw-r--r-- | includes/init.php | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/includes/init.php b/includes/init.php deleted file mode 100644 index 71d7def..0000000 --- a/includes/init.php +++ /dev/null @@ -1,18 +0,0 @@ -<?php - -global $title; -global $toplevel; -global $pages; - -$pages = json_decode(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/includes/pages.json"), true); -require_once $_SERVER['DOCUMENT_ROOT'] . "/includes/session.php"; global $isLoggedIn; - -if (in_array($toplevel, array_keys($pages))) { - $title = $pages[$toplevel]["name"]; - - if ($pages[$toplevel]["admin"]) { - if (!$isLoggedIn) header("Location: /-/login/?return=$toplevel") and die(); - } -} else { - $title = $toplevel; -}
\ No newline at end of file |