Searched refs:head_options (Results 1 – 1 of 1) sorted by relevance
107 if (count($maybe) > 0) { $head_options = ["noindex"]; } variable108 else { $head_options = []; } variable110 site_header("Manual Quick Reference", $head_options + ["current" => "help"]);
Completed in 4 milliseconds
