Home
last modified time | relevance | path

Searched refs:head_options (Results 1 – 1 of 1) sorted by relevance

/web-php/
H A Dquickref.php107 if (count($maybe) > 0) { $head_options = ["noindex"]; } variable
108 else { $head_options = []; } variable
110 site_header("Manual Quick Reference", $head_options + ["current" => "help"]);

Completed in 4 milliseconds