| /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 | 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
|
| H A D | ru.php | 3 $lang = 'ru'; variable
|
| H A D | es.php | 3 $lang = 'es'; variable
|
| H A D | ja.php | 3 $lang = 'ja'; 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 | en.php | 3 $lang = 'en'; variable
|
| H A D | ru.php | 3 $lang = 'ru'; variable
|
| H A D | ja.php | 3 $lang = 'ja'; variable
|
| H A D | zh.php | 3 $lang = 'zh'; variable
|
| H A D | pt_BR.php | 3 $lang = 'pt_BR'; variable
|
| H A D | fr.php | 3 $lang = 'fr'; variable
|
| /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";
|
| /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'];
147 foreach ($langs as $lang) {
153 lang = en
175 $stm->execute([$lang, "/manual/{$lang}/{$_keyword}", $keyword]);
[all …]
|
| H A D | layout.inc | 428 "lang" => myphpnet_language(),
441 $lang = language_convert($config["lang"]);
487 function doc_toc($lang): void {
488 $file = __DIR__ . "/../manual/$lang/toc/index.inc";
496 doc_toc_list($lang, $TOC, "getting-started");
497 doc_toc_list($lang, $TOC, "langref");
501 doc_toc_list($lang, $TOC, "security");
502 doc_toc_list($lang, $TOC, "features");
506 doc_toc_list($lang, $TOC, "funcref");
534 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";
|
| /web-php/js/ |
| H A D | search-index.php | 15 $lang = $_GET["lang"]; variable
33 $indexfile = $_SERVER["DOCUMENT_ROOT"] . "/manual/$lang/search-index.json";
34 $descfile = $_SERVER["DOCUMENT_ROOT"] . "/manual/$lang/search-description.json";
|
| /web-php/manual/ |
| H A D | help-translate.php | 29 foreach ($INACTIVE_ONLINE_LANGUAGES as $cc => $lang) {
34 echo '<li>', $lang, ': (', $link, ')</li>';
|
