Add / for the directories to the header bar too

diff --git a/inc/header.php b/inc/header.php
index 256687bd8ddc09916a6603a5a30a72f19caf51ec..322bce38d06877b849daf14431fcc143a63acc11 100644 (file)
--- a/inc/header.php
+++ b/inc/header.php
@@ -142,6 +142,8 @@ function show_page_item($name, $page, $nestlevel, $small = false)
                $url = $page["script"];
                if (str_ends_with($url, "/index.php"))
                        $url = str_replace('/index.php', '', $url);
+                if (!str_ends_with($url, ".php") && !empty($url))
+                        $url = $url.'/';
                echo "<a href=\"".get_config("base_url").$url."\" style=\"text-decoration: none\">\n";
        }
        echo "<div class=\"big-page-item d-flex justify-content-between align-items-center $class\" style=\"$style\">$name