Modified acceptable upload extensions.
[Assignment-Trapper.git] / header.php
blob15ee8dc5996801bcd8d1da2f7463c420d6410a48
1 <?php
3 if($user_id != '') {
4 if($role == 0) {
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">
8 <ul>
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>
13 </ul></div>';
15 } else {
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">
18 <ul>
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>
22 </ul></div>';
25 } else {
26 $menu = '';
31 <html>
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>
53 <div class="header">
54 <div class="menu">
55 <?php echo $menu; ?>
56 </div>
57 </div>
59 <br>