| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- <?php
- $root = $_SERVER['DOCUMENT_ROOT'];
- include($root . "/util/session.php"); //checks that the user is logged in
- include($root . "/util/privilege_check.php");
- checkPrivilege("admin");
- if (!empty($_GET['msg'])) {
- $msg = $_GET['msg'];
- }
- ?>
- <head>
- <title>Admin Menu</title>
- <link rel="stylesheet" type="text/css" href="adminStyle.css">
- </head>
- <?php
- include($root . "/admin/header.php");
- ?>
- <main>
- <html>
- <body>
- <div style="font-size:14px; color:#33cc33; margin-top:10px"><?php
- if (isset($msg)) {
- echo $msg;
- } ?>
- </div>
- <div id="menu">
- <ul>
- <li><a href="/admin/useradd.php">Add a new user</a></li>
- <li><a href="/admin/userlist.php">List existing users</a></li>
- <li><a href="/admin/degreeAdd.php">Add a degree</a></li>
- <li><a href="/admin/degreeList.php">List degrees</a></li>
- </ul>
- </div>
- </body>
- </html>
- </main>
- <?php
- include($root . "/admin/footer.php");
- ?>
|
