. require_once("../inc/util.inc"); require_once("../inc/translation.inc"); $imgdir = "img/flags/"; $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 $set_lang is 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: ".tr(LANG_NAME_INTERNATIONAL)." (".tr(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:

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" ); for ($i=0; $i"; // } else { // $im=""; // } // row3($im, row2( "".$languages[$i]."", "".$lang_international[$i]."" ); } end_table(); echo "

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