1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
<?php
require_once("../inc/util.inc");
require_once("../inc/translation.inc");
$imgdir = "img/flags/";
$languages = getSupportedLanguages();
$prefs = $HTTP_SERVER_VARS["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 {
setcookie('lang', $set_lang, time()+3600*24*365);
header("Location: index.php");
exit;
}
}
page_head("Language selection");
echo "
<p>
This web site is available in several languages.
The currently selected language is: <em>".tr(LANG_NAME_INTERNATIONAL)."</em> (".tr(LANG_NAME_NATIVE).").
<p>
Normally the choice of language
is determined by your browser's language setting,
which is: <b>$prefs</b>.
You can change this setting using:
<ul>
<li>Mozilla: Tools/Options/General
<li>Microsoft IE: Tools/Internet Options/Languages
</ul>
<p>
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.
</p>
";
start_table();
row2("Language symbol", "Language name (click to select)");
row2("",
"<a href=language_select.php?set_lang=auto>Use browser language setting</a>"
);
for ($i=0; $i<sizeof($languages);$i++){
$lang_native[$i] = trSpecific(LANG_NAME_NATIVE,$languages[$i]);
$lang_international[$i] = trSpecific(LANG_NAME_INTERNATIONAL, $languages[$i]);
}
array_multisort($lang_international, $languages, $lang_native);
for ($i=0; $i<sizeof($languages);$i++){
// if (file_exists($imgdir.$languages[$i].".png")){
// $im = "<a href=\"language_select.php?set_lang=".$languages[$i]."\"><img src=\"".$imgdir.$languages[$i].".png\" border=0></a>";
// } else {
// $im="";
// }
// row3($im,
row2(
"<a href=\"language_select.php?set_lang=".$languages[$i]."\">".$languages[$i]."</a>",
"<a href=\"language_select.php?set_lang=".$languages[$i]."\">".$lang_international[$i]."</a>"
);
}
end_table();
echo "
<p>
Translations are done by volunteers.
If your native language is not here,
<a href=translate.php>you can help</a>.
";
page_tail();
?>
|
