1 <body<?php echo $WikiTheme->getMoreAttr('body') ?>>
2 <!-- Page title and logo -->
3 <h1><a class="wikilink"
4 href="<?php echo WikiURL(HOME_PAGE)?>"
5 ><img src="<?php echo $WikiTheme->getImageURL('logo')?>"
6 alt="<?php echo fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>"
7 class="bottom" /></a> <?php echo $HEADER?></h1>
9 <?php echo Template('navbar') ?>
10 <!-- RELATEDPAGES were here. -->
12 <?php echo $GLOBALS['ErrorManager']->getPostponedErrorsAsHTML() ?>
14 <?php if (defined('DEBUG') && DEBUG) { ?><?php echo Template('debug') ?><?php } ?>