5 //$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>';
7 $menu = '<div class="menu">
9 <li><a href="index.php">Classes</a></li>
10 <li><a href="manage.php">Manage Accounts</a></li>
11 <li><a href="workflow.php">Workflows</a></li>
12 <li><a href="#" onClick="logout();">'.$_COOKIE["username"].'</a></li>
16 //$menu = '<a href="index.php">Classes</a> | <a href="manage.php">Manage Account</a> | '.$_COOKIE["username"].' | <a href="#" onClick="logout();">Logout</a>';
17 $menu = '<div class="menu">
19 <li><a href="index.php">Classes</a></li>
20 <li><a href="manage.php">Manage Account</a></li>
21 <li><a href="#" onClick="logout();">'.$_COOKIE["username"].'</a></li>
32 <META HTTP
-EQUIV
="PRAGMA" CONTENT
="NO-CACHE">
33 <META HTTP
-EQUIV
="CACHE-CONTROL" CONTENT
="NO-CACHE">
34 <META HTTP
-EQUIV
="EXPIRES" CONTENT
="<?php echo gmdate('D, d M Y H:i:s') . ' GMT' ?>">
35 <script type
="text/javascript" src
="ajax.js"></script
>
36 <script type
="text/javascript" src
="debugger.js"></script
>
37 <script type
="text/javascript" src
="general.js"></script
>
38 <link rel
="stylesheet" type
="text/css" href
="style.css" />
39 <link rel
="stylesheet" type
="text/css" media
="all" href
="include/calendar.css" title
="win2k-cold-1" />
41 <script type
="text/javascript" src
="sh_main.js"></script
>
42 <script type
="text/javascript" src
="sh_cpp.js"></script
>
43 <link type
="text/css" rel
="stylesheet" href
="sh_ide-eclipse.css">
45 <script type
="text/javascript" src
="include/calendar.js"></script
>
46 <script type
="text/javascript" src
="include/position.js"></script
>
47 <script type
="text/javascript" src
="include/calendar-en.js"></script
>
48 <script type
="text/javascript" src
="include/calendar-setup.js"></script
>
50 <body onload
="sh_highlightDocument();">
52 <h2
><img src
="gfx/bricks.png">Assignment Trapper
</h2
>