Lines Matching refs:setup

206 function manual_navigation_breadcrumbs(array $setup) {
208     foreach (array_reverse($setup["parents"]) as $parent) {
216     if ($setup["up"][0]) {
218             "title" => $setup["up"][1],
219             "link" => $setup["up"][0],
226 function manual_navigation_related(array $setup) {
228     foreach ($setup['toc'] as $entry) {
232             "current" => $setup["this"][0] == $entry[0],
237     if ($setup["up"][0]) {
239             "title" => $setup["up"][1],
240             "link" => $setup["up"][0],
247 function manual_navigation_deprecated(array $setup) {
249     foreach ((array)$setup['toc_deprecated'] as $entry) {
253             "current" => $setup["this"][0] == $entry[0],
273 function manual_setup($setup): void {
279     if (!isset($setup["toc_deprecated"])) {
280         $setup["toc_deprecated"] = [];
282     $PGI = $setup;
284     $base = 'manual/' . (new Languages())->convert($setup['head'][1]) . "/";
285     $_SERVER['BASE_PAGE'] = $base . $setup['this'][0];
309     $breadcrumbs = manual_navigation_breadcrumbs($setup);
310     $__RELATED['toc'] = manual_navigation_related($setup);
311     $__RELATED['toc_deprecated'] = manual_navigation_deprecated($setup);
318             "contents" => $base . $setup["home"][0],
319             "index" => $base . $setup["up"][0],
320             "prev" => $base . $setup["prev"][0],
321             "next" => $base . $setup["next"][0],
323         "lang" => $setup["head"][1],
324         "thispage" => $setup["this"][0],
325         "prev" => $setup["prev"],
326         "next" => $setup["next"],
329     site_header($setup["this"][1] . " - Manual ", $config);
373 function manual_footer($setup): void {
376     $id = substr($setup['this'][0], 0, -4);
377     $repo = strtolower($setup["head"][1]); // pt_BR etc.
382     if (isset($setup['source'])) {
383         $source_lang = $setup['source']['lang'];
385 …    $edit_url = "https://github.com/php/doc-{$source_lang}/blob/master/{$setup['source']['path']}";
390     if (isset($setup["history"]['modified']) && $setup["history"]['modified'] !== "") {
391         $modifiedDateTime = date_create($setup["history"]['modified']);
394 …$lastUpdate .= (isset($setup["history"]['contributors'][0]) ? " by " . $setup["history"]['contribu…
399     if (isset($setup["history"]['contributors']) && count($setup["history"]['contributors']) > 0) {
453 function contributors($setup) {
455         || !isset($setup["history"]["contributors"])
456         || count($setup["history"]["contributors"]) < 1) {
460     $contributorList = "<li>" . implode("</li><li>", $setup["history"]["contributors"]) . "</li>";
471     manual_footer($setup);