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

DUMP_MODE) { ?> getPostponedErrorsAsHTML() ?>