/web-php/releases/8.1/ |
H A D | release.inc | 7 if (!isset($lang)) { 8 $lang = 'en'; 11 $_SERVER['BASE_PAGE'] = 'releases/8.1/' . $lang . '.php'; 15 common_header(message('common_header', $lang)); 21 <?php language_chooser($lang); ?> 39 <?= message('enumerations_title', $lang) ?> 80 <?= message('enumerations_content', $lang) ?> 457 <?= message('fibers_title', $lang) ?> 492 <?= message('fibers_content', $lang) ?> 498 <?= message('array_unpacking_title', $lang) ?> [all …]
|
H A D | common.php | 58 foreach (LANGUAGES as $lang => $text) { 59 $selected = ($lang === $currentLang) ? ' selected="selected"' : ''; 60 echo $tab, "<option value='$lang'$selected>$text</option>\n";
|
H A D | index.php | 11 [$lang,] = $langChooser->chooseCode("", "", $_SERVER['HTTP_ACCEPT_LANGUAGE']); 13 mirror_redirect("/releases/8.1/$lang.php");
|
H A D | ka.php | 3 $lang = 'ka'; variable
|
H A D | zh.php | 3 $lang = 'zh'; variable
|
H A D | de.php | 3 $lang = 'de'; variable
|
H A D | pt_BR.php | 3 $lang = 'pt_BR'; variable
|
H A D | en.php | 3 $lang = 'en'; variable
|
/web-php/releases/8.2/ |
H A D | release.inc | 7 if (!isset($lang)) { 8 $lang = 'en'; 11 $_SERVER['BASE_PAGE'] = 'releases/8.2/' . $lang . '.php'; 15 common_header(message('common_header', $lang)); 21 <?php language_chooser($lang); ?> 44 $lang, 102 $lang, 194 <?= message('random_title', $lang) ?> 197 …<a class="php8-rfc" href="/manual/<?= $lang ?>/book.random.php"><?= message('documentation', $lang… 252 $lang, [all …]
|
H A D | common.php | 58 foreach (LANGUAGES as $lang => $text) { 59 $selected = ($lang === $currentLang) ? ' selected="selected"' : ''; 60 echo $tab, "<option value='$lang'$selected>$text</option>\n";
|
H A D | index.php | 11 [$lang,] = $langChooser->chooseCode("", "", $_SERVER['HTTP_ACCEPT_LANGUAGE']); 13 mirror_redirect("/releases/8.2/$lang.php");
|
/web-php/releases/8.3/ |
H A D | release.inc | 7 if (!isset($lang)) { 8 $lang = 'en'; 11 $_SERVER['BASE_PAGE'] = 'releases/8.3/' . $lang . '.php'; 15 common_header(message('common_header', $lang)); 21 <?php language_chooser($lang); ?> 130 <?= message('override_title', $lang) ?> 198 <?= message('readonly_title', $lang) ?> 269 … href="/manual/<?= $lang ?>/function.json-validate.php"><?= message('documentation', $lang) ?></a> 311 …href="/manual/<?= $lang ?>/random-randomizer.getbytesfromstring.php"><?= message('documentation', … 381 …href="/manual/<?= $lang ?>/random-randomizer.getfloat.php"><?= message('documentation', $lang) ?><… [all …]
|
H A D | common.php | 58 foreach (LANGUAGES as $lang => $text) { 59 $selected = ($lang === $currentLang) ? ' selected="selected"' : ''; 60 echo $tab, "<option value='$lang'$selected>$text</option>\n";
|
H A D | index.php | 11 [$lang,] = $langChooser->chooseCode("", "", $_SERVER['HTTP_ACCEPT_LANGUAGE']); 13 mirror_redirect("/releases/8.3/$lang.php");
|
/web-php/releases/8.4/ |
H A D | release.inc | 5 if (!isset($lang)) { 6 $lang = 'en'; 9 $documentation = $lang; 12 $_SERVER['BASE_PAGE'] = 'releases/8.4/' . $lang . '.php'; 16 common_header(message('common_header', $lang)); 22 <?php language_chooser($lang); ?> 40 <?= message('property_hooks_title', $lang) ?> 339 <?= message('bcmath_title', $lang) ?> 379 <?= message('bcmath_description', $lang) ?> 384 <?= message('new_array_find_title', $lang) ?> [all …]
|
H A D | common.php | 60 foreach (LANGUAGES as $lang => $text) { 61 $selected = ($lang === $currentLang) ? ' selected="selected"' : ''; 62 echo $tab, "<option value='$lang'$selected>$text</option>\n";
|
H A D | index.php | 11 [$lang,] = $langChooser->chooseCode("", "", $_SERVER['HTTP_ACCEPT_LANGUAGE']); 13 mirror_redirect("/releases/8.4/$lang.php");
|
/web-php/include/ |
H A D | manual-lookup.inc | 7 function tryprefix($lang, $keyword, $prefix) 16 $try = "/manual/{$lang}/{$prefix}{$keyword}.php"; 67 function find_manual_page_slow($lang, $keyword) 83 if ($lang != "en") { 93 return find_manual_page($lang, $kw); 102 function find_manual_page($lang, $keyword) 127 $langs = ($lang != 'en') ? [$lang, 'en'] : ['en']; 145 foreach ($langs as $lang) { 151 lang = en 173 $stm->execute([$lang, "/manual/{$lang}/{$_keyword}", $keyword]); [all …]
|
H A D | shared-manual.inc | 323 "lang" => $setup["head"][1], 350 if ($lang == $currentlang) { 475 function autogen(string $text, string $lang) { 478 $lang = ($lang === "") ? "en" : $lang; 479 $lang = strtolower($lang); 480 if (isset($translations[$lang])) { 481 if (isset($translations[$lang][$text]) && $translations[$lang][$text] !== "") { 482 return $translations[$lang][$text]; 484 if ($lang !== "en") { 495 if ($lang !== "en") { [all …]
|
H A D | layout.inc | 435 "lang" => $LANG, 467 $lang = (new Languages())->convert($config["lang"]); 544 function doc_toc($lang): void { 545 $file = __DIR__ . "/../manual/$lang/toc/index.inc"; 553 doc_toc_list($lang, $TOC, "getting-started"); 554 doc_toc_list($lang, $TOC, "langref"); 558 doc_toc_list($lang, $TOC, "security"); 559 doc_toc_list($lang, $TOC, "features"); 563 doc_toc_list($lang, $TOC, "funcref"); 591 function doc_toc_list($lang, $index, $file): void { [all …]
|
/web-php/releases/8.0/ |
H A D | common.php | 62 foreach (LANGUAGES as $lang => $text) { 63 $selected = ($lang === $currentLang) ? ' selected="selected"' : ''; 64 echo $tab, "<option value='$lang'$selected>$text</option>\n";
|
H A D | index.php | 11 [$lang,] = $langChooser->chooseCode("", "", $_SERVER['HTTP_ACCEPT_LANGUAGE']); 13 mirror_redirect("/releases/8.0/$lang.php");
|
/web-php/js/ |
H A D | search-index.php | 17 $lang = $_GET["lang"]; variable 35 $indexfile = $_SERVER["DOCUMENT_ROOT"] . "/manual/$lang/search-index.json"; 36 $descfile = $_SERVER["DOCUMENT_ROOT"] . "/manual/$lang/search-description.json";
|
/web-php/manual/ |
H A D | help-translate.php | 32 foreach (Languages::INACTIVE_ONLINE_LANGUAGES as $cc => $lang) { 37 echo '<li>', $lang, ': (', $link, ')</li>';
|
/web-php/src/ |
H A D | LangChooser.php | 137 $lang = $this->normalize($langdata[0]); 138 if ($this->isAvailableLanguage($lang)) { 139 return [$lang, $explicitly_specified];
|