changed git call from https to git readonly
[atutor.git] / mods / atutor_opencaps / opencaps / include / basic_header.inc.php
1 <?php 
2 /*
3  * OpenCaps
4  * http://opencaps.atrc.utoronto.ca
5  * 
6  * Copyright 2009 Heidi Hazelton
7  * Adaptive Technology Resource Centre, University of Toronto
8  * 
9  * Licensed under the Educational Community License (ECL), Version 2.0. 
10  * You may not use this file except in compliance with this License.
11  * http://www.opensource.org/licenses/ecl2.php
12  * 
13  */
14 ?>
15
16 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
17 <html xmlns="http://www.w3.org/1999/xhtml">
18 <head>
19         <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
20         <title>OpenCaps - An online inclusive media editor</title>
21         
22         <script language="JavaScript" src="js/jquery/jquery-1.2.6.js" type="text/javascript"></script>
23         <script language="JavaScript" src="js/json/json2.js" type="text/javascript"></script>
24         <script language="JavaScript" src="js/utils.js" type="text/javascript"></script>
25                 
26         <link rel="stylesheet" href="styles.css" type="text/css" />
27         <link rel="stylesheet" href="styles_public.css" type="text/css" />
28         <!--[if IE]>
29                 <link href="styles_ie.css" rel="stylesheet" type="text/css" />
30         <![endif]-->    
31
32 </head>
33 <body>
34
35         <?php if ($_SESSION['mid'] && $_SESSION['mid']!='99999' && !DISABLE_LOCAL) { ?>
36         <div style="float:right; margin-top:-5px;font-size:smaller;">
37                 <img style="margin-bottom:-3px;" src="images/door_out.png" alt="" /> <a href="logout.php">Logout</a>
38         </div>
39                 
40         <?php 
41         }
42         
43         if (isset($_SESSION['errors'])) {
44                 echo '<div class="error"><strong>Error:</strong><br />';
45                 foreach ($_SESSION['errors'] as $errmsg) {
46                         echo $errmsg.'<br />';  
47                 }
48                 echo '</div>';
49                 unset($_SESSION['errors']);
50         }
51         if (isset($_SESSION['feedback'])) {
52                 echo '<div class="feedback"><strong>Feedback:</strong><br />';
53                 foreach ($_SESSION['feedback'] as $fbmsg) {
54                         echo $fbmsg.'<br />';   
55                 }
56                 echo '</div>';
57                 unset($_SESSION['feedback']);
58         }
59         if (isset($_SESSION['notices'])) {
60                 echo '<div class="notice"><strong>Notice:</strong><br />';
61                 foreach ($_SESSION['notices'] as $nmsg) {
62                         echo $nmsg.'<br />';    
63                 }
64                 echo '</div>';
65                 unset($_SESSION['notices']);
66         }