4 <div class="portlet" id="p-logo"><a class="wikilink" href="<?php echo WikiURL(HOME_PAGE)?>"><img src="<?php echo $WikiTheme->getImageURL('logo') ?>" id="logo-img" alt="<?php echo
5 fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>" /></a></div>
6 <div id="img-logo-right" />