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