1234567891011121314151617181920212223242526272829303132333435 |
- <?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'];
- }
- ?>
- <html>
- <head>
- <title>Admin Menu</title>
- <link rel="stylesheet" type="text/css" href="adminStyle.css">
- </head>
- <body>
- <?php
- include($root . "/admin/header.php");
- ?>
- <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>
- </ul>
- </div>
- <?php
- include($root . "/admin/footer.php");
- ?>
- </body>
- </html>
|