1 files changed, 0 insertions, 16 deletions
diff --git a/includes/init.inc b/includes/init.inc
deleted file mode 100644
index 52c9ee2..0000000
--- a/includes/init.inc
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-global $title;
-global $toplevel;
-global $emergencyHeader;
-global $pages;
-global $lang; global $pages;
-
-$pages = json_decode(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/includes/pages.json"), true);
-require_once $_SERVER['DOCUMENT_ROOT'] . "/includes/util/session.inc"; global $isLoggedIn; global $isLowerLoggedIn;
-
-if (in_array($toplevel, array_keys($pages))) {
-    $title = $pages[$toplevel]["name"][$lang["_name"]];
-} else {
-    $title = $toplevel;
-}