stuff and the and . */ ?> " href="" /> getCSS() ?> getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME) $pagetitle = ""; else $pagetitle = " - ". AsString($TITLE); ?> <?php echo WIKI_NAME.$pagetitle?> DUMP_MODE) { ?>