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="workflow.php">Workflows</a></li>
  19                                 <li><a href="#" onClick="logout();">'.$_COOKIE["username"].'</a></li>
  20                         </ul></div>';
  21
  22         } else {
  23                 //$menu = '<a href="index.php">Classes</a> | <a href="manage.php">Manage Account</a> | '.$_COOKIE["username"].' | <a href="#" onClick="logout();">Logout</a>';
  24                 $menu = '<div class="menu">
  25                         <ul>
  26                                 <li><a href="classes.php">Classes</a></li>
  27                                 <li><a href="index.php">Messages</a></li>
  28                                 <li><a href="manage.php">Manage Account</a></li>
  29                                 <li><a href="#" onClick="logout();">'.$_COOKIE["username"].'</a></li>
  30                         </ul></div>';
  31
  32         }
  33 } else {
  34         $menu = '';
  35 }
  36
  37 ?>
  38
  39 <html>
  40 <head>
  41 <script type="text/javascript" src="ajax.js"></script>
  42 <script type="text/javascript" src="debugger.js"></script>
  43 <script type="text/javascript" src="general.js"></script>
  44 <link rel="stylesheet" type="text/css" href="style.css" />
  45 <link rel="stylesheet" type="text/css" media="all" href="include/calendar.css" title="win2k-cold-1" />
  46
  47 <script type="text/javascript" src="sh_main.js"></script>
  48 <script type="text/javascript" src="sh_cpp.js"></script>
  49 <link type="text/css" rel="stylesheet" href="sh_ide-eclipse.css">
  50
  51 <script type="text/javascript" src="include/calendar.js"></script>
  52 <script type="text/javascript" src="include/position.js"></script>
  53 <script type="text/javascript" src="include/calendar-en.js"></script>
  54 <script type="text/javascript" src="include/calendar-setup.js"></script>
  55 </head>
  56 <body onload="sh_highlightDocument();">
  57
  58 <h2><img src="gfx/bricks.png">Assignment Trapper</h2>
  59 <div class="header">
  60         <div class="menu">
  61                 <?php echo $menu; ?>
  62         </div>
  63 </div>
  64
  65 <br>
  66