Added some feedback to the picture thumbnail regneneration bug 5011
[moodle.git] / theme / chameleon / header.html
CommitLineData
5452c725 1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2<html<?php echo $direction ?>>
3<head>
4 <?php echo $meta ?>
5 <meta name="keywords" content="moodle, <?php echo $title ?> " />
6 <title><?php echo $title ?></title>
7 <link rel="shortcut icon" href="<?php echo "$CFG->wwwroot/theme/$CFG->theme" ?>/favicon.ico" />
8
9 <?php
10
11
12 if (isset($THEME->chameleonenabled) && $THEME->chameleonenabled) {
13 $chameleon_isadmin = isadmin();
14 $chameleon_isteacher = false;
15 if (isset($course->id)) {
16 $chameleon_courseparam = '?id=' . $course->id;
17 if (!$chameleon_isadmin) {
18 $chameleon_isteacher = (isteacher($course->id) && isset($CFG->coursetheme));
19 }
20 } else {
21 $chameleon_courseparam = '';
22 }
23
24 if ($chameleon_isadmin || $chameleon_isteacher) {
25 // either we're an admin or we're a teacher and this is being used as the course theme
26 // if we're on a page using a course theme edit that, otherwise edit the main chameleon theme
27 $chameleon_theme = (isset($CFG->coursetheme)) ? $CFG->coursetheme : $CFG->theme;
28 ?>
29
30 <style type="text/css"> @import '<?php echo "$CFG->wwwroot/theme/$chameleon_theme" ?>/ui/chameleon_ui.css'; </style>
31
32 <script type="text/javascript" src="<?php echo "$CFG->wwwroot/theme/$chameleon_theme/ui/css_query.js" ?>"> </script>
33 <script type="text/javascript" src="<?php echo "$CFG->wwwroot/theme/$chameleon_theme/ui/sarissa.js" ?>"> </script>
34 <script type="text/javascript" src="<?php echo "$CFG->wwwroot/theme/$chameleon_theme/ui/chameleon_js.php$chameleon_courseparam" ?>"> </script>
35
36 <?php
37 }
38 }
39 ?>
40
41 <?php include("$CFG->javascript"); ?>
42</head>
43
44<body<?php
45 echo " $bodytags";
46 if ($focus) {
47 echo " onload=\"setfocus()\"";
48 };
49 ?>>
50
51<div id="page">
52
53<?php if ($home) { // This is what gets printed on the home page only
54?>
55 <div id="header-home">
56 <div class="headermain"><?php echo $heading ?></div>
57 <div class="headermenu"><?php echo $menu ?></div>
58 </div>
59 <table class="navbar"><tr><td>
60 &nbsp;
61 </td></tr></table>
62<?php } else { // This is what gets printed on any other page with a heading
63?>
64 <div id="header">
65 <div class="headermain"><?php echo $heading ?></div>
66 <div class="headermenu"><?php echo $menu ?></div>
67 </div>
68 <table class="navbar"><tr><td>
69<?php if ($navigation) { // This is the navigation table with breadcrumbs ?>
70 <div class="breadcrumb"><?php print_navigation($navigation); ?></div>
71 <div class="navbutton"><?php echo $button; ?></div>
72<?php } ?>
73 </td></tr></table>
74<?php } ?>
75 <!-- END OF HEADER -->
76<div id="content">