From e29aa01b47c48a82556ebff59b5f2dc78bfd7991 Mon Sep 17 00:00:00 2001
From: jonasled <git@jonasled.de>
Date: Fri, 26 Feb 2021 22:51:02 +0100
Subject: [PATCH] renamed menu.php from menue.php
---
public/internal/header.php | 2 +-
public/internal/{menue.php => menu.php} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename public/internal/{menue.php => menu.php} (100%)
diff --git a/public/internal/header.php b/public/internal/header.php
index cf7ad85..b031402 100644
--- a/public/internal/header.php
+++ b/public/internal/header.php
@@ -3,7 +3,7 @@
function getHeader($pagetitle, $navselect)
{
include "config.php";
- include "menue.php";
+ include "menu.php";
$menu = getMenu($navselect);
if (strpos($_SERVER['HTTP_HOST'], '.onion') !== false) {
diff --git a/public/internal/menue.php b/public/internal/menu.php
similarity index 100%
rename from public/internal/menue.php
rename to public/internal/menu.php
--
GitLab