= 4.0) echo "<","?xml version=\"1.0\" encoding=\"", $charset, "\"?", ">\n"; ?> getCSS() ?> <?=WIKI_NAME . ' - ' . _("Redirect")?>

$REDIRECT_URL), $REDIRECT_URL)) ?>

\n", $RCS_IDS); } ?>