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