<?php echo WIKI_NAME . ' - ' .

_prefs; if ($pref) { $LANG = $pref->get('lang'); } else { $LANG = DEFAULT_LANGUAGE; } } ?> getCSS() ?> <?php echo WIKI_NAME . ' - ' . _("Redirect")?>

$REDIRECT_URL), $REDIRECT_URL)) ?>