1 <body<?php echo $WikiTheme->getMoreAttr('body') ?>>
4 <h1 id="header"><?php echo $HEADER ?></h1>
6 <!-- Page title and logo -->
8 <h1><a class="wikilink"
9 href="<?php echo WikiURL(HOME_PAGE)?>"
10 ><img src="<?php echo $WikiTheme->getImageURL('logo')?>"
11 border="0" alt="<?php echo fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>"
12 align="bottom" /></a> <?php echo $HEADER?></h1>
14 <?php echo $CONTENT ?>
15 <?php echo Template('navbar') ?>
16 <!-- RELATEDPAGES were here. -->
18 <?php echo $GLOBALS['ErrorManager']->getPostponedErrorsAsHTML() ?>