. require_once("../inc/util.inc"); require_once("../inc/translation.inc"); $languages = getSupportedLanguages(); $prefs = $_SERVER["HTTP_ACCEPT_LANGUAGE"]; $set_lang = get_str("set_lang", true); if ($set_lang){ if (!in_array($set_lang, $languages) && $set_lang!="auto"){ error_page("Language not supported"); } else { send_cookie('lang', $set_lang, true); header("Location: index.php"); exit; } } page_head("Language selection"); echo "

This web site is available in several languages. The currently selected language is: ".tra("LANG_NAME_INTERNATIONAL")." (".tra("LANG_NAME_NATIVE").").

Normally the choice of language is determined by your browser's language setting, which is: $prefs. You can change this setting using:

Firefox: Tools/Options/General
Microsoft IE: Tools/Internet Options/Languages

Or you can select a language by clicking on one of the links. This will send your browser a cookie; make sure your browser accepts cookies from our domain.

"; start_table(); row2("Language symbol", "Language name (click to select)"); row2("", "Use browser language setting" ); sort($languages); foreach ($languages as $language) { row2( "$language", "".tr_specific("LANG_NAME_INTERNATIONAL", $language)." (".tr_specific("LANG_NAME_NATIVE", $language).")" ); } end_table(); echo "

Translations are done by volunteers. If your native language is not here, you can help. "; page_tail(); ?>