diff options
| -rw-r--r-- | src/usr/local/www/head.inc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/usr/local/www/head.inc b/src/usr/local/www/head.inc index e19b628..b600c28 100644 --- a/src/usr/local/www/head.inc +++ b/src/usr/local/www/head.inc @@ -186,7 +186,9 @@ function return_ext_menu($section) { function output_menu($arrayitem, $target = null, $section = "") { foreach ($arrayitem as $item) { /* If the user has access to help pages, also show the full help menu. See #5909 */ - if (isAllowedPage($item[1]) || $item[1] == "/index.php?logout" || (($section == "Help") && isAllowedPage("help.php"))) { + if (isAllowedPage($item[1]) || $item[1] == "/index.php?logout" || + (($section == "Help") && isAllowedPage("help.php")) || + (substr($item[1], 0, 8) == "https://")) { $attr = sprintf("href=\"%s\"", htmlentities($item[1])); if ($target) { $attr .= sprintf(" target=\"%s\"", htmlentities($target)); |
