1 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2 <html<?php echo $direction ?>>
5 <meta name=
"keywords" content=
"moodle, <?php echo $title ?> " />
6 <title
><?php
echo $title ?></title>
7 <link rel=
"shortcut icon" href=
"<?php echo $CFG->themewww .'/'. current_theme() ?>/favicon.ico" />
8 <?php
include("$CFG->javascript"); ?>
14 echo " onload=\"setfocus()\"";
20 <?php if ($home) { // This is what gets printed on the home page only
21 if (file_exists($CFG->dirroot
.'/logo.jpg')) {
22 $standardlogo = $CFG->httpswwwroot
.'/logo.jpg';
23 } else if (file_exists($CFG->dirroot
.'/logo.gif')) {
24 $standardlogo = $CFG->httpswwwroot
.'/logo.gif';
25 } else if (file_exists($CFG->dataroot
.'/1/logo.jpg')) {
26 require_once($CFG->libdir
.'/filelib.php');
27 $standardlogo = get_file_url('1/logo.jpg', null, 'httpscoursefile');
28 } else if (file_exists($CFG->dataroot
.'/1/logo.gif')) {
29 require_once($CFG->libdir
.'/filelib.php');
30 $standardlogo = get_file_url('1/logo.gif', null, 'httpscoursefile');
32 $standardlogo = $CFG->httpsthemewww
.'/'. current_theme().'/logo.gif';
35 //Accessibility: warning: ALT text will need editing if logo changes. 'headermain' is now H1.
37 <?php print_container_start(true, '', 'header-home'); ?>
38 <h1 class=
"headermain"><img alt=
"Moodle" src=
"<?php echo $standardlogo ?>" /></h1
>
39 <div
class="headermenu"><?php
echo $menu ?></div>
40 <?php print_container_end(); ?>
41 <?php } else if ($heading) { // This is what gets printed on any other page with a heading
43 <?php print_container_start(true, '', 'header'); ?>
44 <h1 class=
"headermain"><?php echo $heading ?></h1>
45 <div class=
"headermenu"><?php echo $menu ?></div>
46 <?php print_container_end(); ?>
48 <?php //Accessibility: breadcrumb trail/navbar now a DIV, not a table.
49 if ($navigation) { // This is the navigation table with breadcrumbs ?>
50 <div
class="navbar clearfix">
51 <div
class="breadcrumb"><?php
print_navigation($navigation); ?></div>
52 <div class=
"navbutton"><?php echo $button; ?></div>
54 <?php } else if ($heading) { // If no navigation, but a heading, then print a line
58 <!-- END OF HEADER -->
59 <?php print_container_start(false, '', 'content'); ?>