mods/atutor_opencaps/opencaps/include/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         <meta http-equiv="content-script-type" content="text/javascript" />
  21
  22         <title>OpenCaps - An online inclusive media editor</title>
  23         <link rel="stylesheet" href="styles.css" type="text/css" />
  24         <?php
  25         /* browser detection for css */
  26         $userAgent = $_SERVER['HTTP_USER_AGENT'];
  27
  28         //Firefox on Win
  29         if (preg_match('/firefox/i', $userAgent) && preg_match('/windows|win32/i', $userAgent)) {
  30                 echo '<link rel="stylesheet" href="styles_ff.css" type="text/css" />';
  31
  32         //IE
  33         } else if (preg_match('/msie/i', $userAgent)) {
  34                 echo '<link rel="stylesheet" href="styles_ie.css" type="text/css" />';
  35
  36         //Opera
  37         } else if (preg_match('/opera/i', $userAgent)) {
  38                 echo '<link rel="stylesheet" href="styles_opera.css" type="text/css" />';
  39         }
  40         ?>
  41
  42         <script language="javascript" type="text/javascript" src="js/AC_QuickTime.js"></script>
  43         <script language="javascript" type="text/javascript" src="js/jquery/jquery-1.3.2.min.js"></script>
  44         <script language="javascript" type="text/javascript" src="js/jquery/ui.core.js"></script>
  45         <script language="javascript" type="text/javascript" src="js/jquery/ui.slider.js"></script>
  46         <script language="javascript" type="text/javascript" src="js/json/json2.js"></script>
  47
  48         <script language="javascript" type="text/javascript" src="js/utils.js"></script>
  49
  50 </head>
  51
  52 <body>
  53 <div id="container">
  54         <h1 style="margin:10px; float:left;"><img src="images/logo.png" alt="OpenCaps - a free, online caption editor" title="OpenCaps - a free, online caption editor" style="margin-top:7px;" /></h1>
  55
  56         <div style="float:right; margin-top:5px; margin-right:10px;">
  57                 <span style="font-style:italic;"><?php echo $this_proj->name; ?></span>
  58                 <div id="last-saved"></div>
  59         </div>
  60
  61         <div id="menubar">
  62                 <ul>
  63                         <li id="editor-tab"><a href="editor.php"><img style="margin-bottom:-3px;" src="images/application_edit.png" alt="arrow pointing right" /> Caption</a></li>
  64                         <?php if(!DISABLE_LOCAL && !isset($_SESSION['rid'])) { ?><li id="preview-tab"><a href="preview.php"><img src="images/arrow_right.png" alt="arrow pointing right" style="margin-bottom:-3px;" /> Preview</a></li><?php } ?>
  65                         <li id="settings-tab"><a href="settings.php"><img style="margin-bottom:-3px;" src="images/page_gear.png" alt="" /> Settings</a></li>
  66                         <li id="export-tab"><a href="export.php"><img style="margin-bottom:-3px;" src="images/application_put.png" alt="" /> Finish</a></li>
  67
  68                         <?php if (!isset($_SESSION['rid'])) { ?>
  69                         <!--  li id="close-tab"><a href="start.php"><img style="margin-bottom:-3px;" src="images/cross.png" alt="" /> Close</a></li -->
  70                         <?php } ?>
  71
  72                 </ul>
  73         </div>
  74         <?php
  75         if (isset($_SESSION['errors'])) {
  76                 echo '<div class="error"><strong>Error:</strong><br />';
  77                 foreach ($_SESSION['errors'] as $errmsg) {
  78                         echo $errmsg.'<br />';
  79                 }
  80                 echo '</div>';
  81                 unset($_SESSION['errors']);
  82         }
  83         if (isset($_SESSION['feedback'])) {
  84                 echo '<div class="feedback"><strong>Feedback:</strong><br />';
  85                 foreach ($_SESSION['feedback'] as $fbmsg) {
  86                         echo $fbmsg.'<br />';
  87                 }
  88                 echo '</div>';
  89                 unset($_SESSION['feedback']);
  90         }
  91         if (isset($_SESSION['notices'])) {
  92                 echo '<div class="notice"><strong>Notice:</strong><br />';
  93                 foreach ($_SESSION['notices'] as $nmsg) {
  94                         echo $nmsg.'<br />';
  95                 }
  96                 echo '</div>';
  97                 unset($_SESSION['notices']);
  98         }
  99         ?>