Code coverage for /20081101/themes/garland/maintenance-page.tpl.php

Line #Times calledCode
1
<?php
2
// $Id: maintenance-page.tpl.php,v 1.7 2008/10/13 12:31:43 dries Exp $
3
4
/**
5
 * @file
6
 * Override of the default maintenance page.
7
 *
8
 * This is an override of the default maintenance page. Used for Garland
and
9
 * Minnelli, this file should not be moved or modified since the
installation
10
 * and update pages depend on this file.
11
 *
12
 * This mirrors closely page.tpl.php for Garland in order to share the same
13
 * styles.
14
 */
15
?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
16
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
174
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php print
$language->language ?>" lang="<?php print $language->language ?>"
dir="<?php print $language->dir ?>">
18
  <head>
194
    <title><?php print $head_title ?></title>
204
    <?php print $head ?>
214
    <?php print $styles ?>
224
    <?php print $scripts ?>
23
    <!--[if lt IE 7]>
244
      <?php print garland_get_ie_styles(); ?>
25
    <![endif]-->
26
  </head>
274
  <body class="<?php print $body_classes ?>">
28
29
<!-- Layout -->
304
  <div id="header-region" class="clear-block"><?php print $header; ?></div>
31
32
    <div id="wrapper">
33
    <div id="container" class="clear-block">
34
35
      <div id="header">
36
        <div id="logo-floater">
374
        <?php
38
          // Prepare header
394
          $site_fields = array();
404
          if ($site_name) {
410
            $site_fields[] = check_plain($site_name);
420
          }
434
          if ($site_slogan) {
440
            $site_fields[] = check_plain($site_slogan);
450
          }
464
          $site_title = implode(' ', $site_fields);
474
          if ($site_fields) {
480
            $site_fields[0] = '<span>' . $site_fields[0] . '</span>';
490
          }
504
          $site_html = implode(' ', $site_fields);
51
524
          if ($logo || $site_title) {
530
            print '<h1><a href="' . $base_path . '" title="' . $site_title
. '">';
540
            if ($logo) {
550
              print '<img src="' . $logo . '" alt="' . $site_title . '"
id="logo" />';
560
            }
570
            print $site_html . '</a></h1>';
580
          }
59
        ?>
60
        </div>
61
62
      </div> <!-- /header -->
63
644
      <?php if ($left): ?>
65
        <div id="sidebar-left" class="sidebar">
660
          <?php if ($search_box): ?><div class="block block-theme"><?php
print $search_box ?></div><?php endif; ?>
670
          <?php print $left ?>
68
        </div>
690
      <?php endif; ?>
70
71
      <div id="center"><div id="squeeze"><div class="right-corner"><div
class="left-corner">
724
          <?php if ($title): ?><h2><?php print $title ?></h2><?php endif;
?>
734
          <?php print $messages; ?>
744
          <?php print $help; ?>
75
          <div class="clear-block">
764
            <?php print $content ?>
77
          </div>
784
          <div id="footer"><?php print $footer_message . $footer ?></div>
79
      </div></div></div></div> <!-- /.left-corner, /.right-corner,
/#squeeze, /#center -->
80
814
      <?php if ($right): ?>
82
        <div id="sidebar-right" class="sidebar">
830
          <?php print $right ?>
84
        </div>
850
      <?php endif; ?>
86
87
    </div> <!-- /container -->
88
  </div>
89
<!-- /layout -->
90
91
  </body>
92
</html>
934