6 <div id="logo"><a class="wikilink"
7 href="<?php echo WikiURL(HOME_PAGE)?>"
8 ><img src="<?php echo $WikiTheme->getImageURL('logo')?>" id="logo-img"
9 alt="<?php echo fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>" /></a></div>
10 <!-- The top navigation/search bar -->
12 <?php echo Template('navbar') ?>
17 <h1><?php echo $HEADER ?></h1>