header.php

   1 <?php
   2
   3 header("Expires: Tue, 03 Jul 2001 06:00:00 GMT");
   4 header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
   5 header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
   6 header("Cache-Control: post-check=0, pre-check=0", false);
   7 header("Pragma: no-cache");
   8
   9 if($user_id != '') {
  10         if($role == 0) {
  11                 //$menu = '<a href="index.php">Classes</a> | <a href="manage.php">Manage Accounts</a> | <a href="workflow.php">Workflows</a> | '.$_COOKIE["username"].' | <a href="#" onClick="logout();">Logout</a>';
  12
  13                 $menu = '<div class="menu">
  14                         <ul>
  15                                 <li><a href="classes.php">Classes</a></li>
  16                                 <li><a href="index.php">Messages</a></li>
  17                                 <li><a href="manage.php">Manage Accounts</a></li>
  18                                 <li><a href="#" onClick="logout();">'.$_COOKIE["username"].'</a></li>
  19                         </ul></div>';
  20
  21         } else {
  22                 //$menu = '<a href="index.php">Classes</a> | <a href="manage.php">Manage Account</a> | '.$_COOKIE["username"].' | <a href="#" onClick="logout();">Logout</a>';
  23                 $menu = '<div class="menu">
  24                         <ul>
  25                                 <li><a href="classes.php">Classes</a></li>
  26                                 <li><a href="index.php">Messages</a></li>
  27                                 <li><a href="manage.php">Manage Account</a></li>
  28                                 <li><a href="#" onClick="logout();">'.$_COOKIE["username"].'</a></li>
  29                         </ul></div>';
  30
  31         }
  32 } else {
  33         $menu = '';
  34 }
  35
  36 ?>
  37
  38 <html>
  39 <head>
  40 <script type="text/javascript" src="ajax.js"></script>
  41 <script type="text/javascript" src="debugger.js"></script>
  42 <script type="text/javascript" src="general.js"></script>
  43 <link rel="stylesheet" type="text/css" href="style.css" />
  44 <link rel="stylesheet" type="text/css" media="all" href="include/calendar.css" title="win2k-cold-1" />
  45
  46 <script type="text/javascript" src="sh_main.js"></script>
  47 <script type="text/javascript" src="sh_cpp.js"></script>
  48 <link type="text/css" rel="stylesheet" href="sh_ide-eclipse.css">
  49
  50 <script type="text/javascript" src="include/calendar.js"></script>
  51 <script type="text/javascript" src="include/position.js"></script>
  52 <script type="text/javascript" src="include/calendar-en.js"></script>
  53 <script type="text/javascript" src="include/calendar-setup.js"></script>
  54 </head>
  55 <body onload="sh_highlightDocument();">
  56
  57 <h2><img src="gfx/bricks.png">Assignment Trapper</h2>
  58 <div class="header">
  59         <div class="menu">
  60                 <?php echo $menu; ?>
  61         </div>
  62 </div>
  63
  64 <br>
  65