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?>
\n";
}
?>