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