stuff and the and .
*/
// echo "<","?xml version=\"1.0\" encoding=\"", $charset, "\"?", ">\n";
?>
" href="" />
getCSS() ?>
getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
$pagetitle = "";
else
$pagetitle = " - ". AsString($TITLE);
?>
<?=WIKI_NAME.$pagetitle?>
DUMP_MODE) { ?>