This is an automated email from the git hooks/post-receive script.
git pushed a commit to branch master
in repository www.
View the commit online.
commit b7a9890653ee4f14ad111930906956a1f6beb9b3
Author: Carsten Haitzler (Rasterman) <[email protected]>
AuthorDate: Thu May 28 18:44:31 2026 +0100
move menu to its own file to list menu items
---
public_html/site/menu.php | 9 +++++++++
public_html/site/site.php | 9 +--------
2 files changed, 10 insertions(+), 8 deletions(-)
diff --git a/public_html/site/menu.php b/public_html/site/menu.php
new file mode 100644
index 00000000..376eaa17
--- /dev/null
+++ b/public_html/site/menu.php
@@ -0,0 +1,9 @@
+<?php
+head($page,
+ "start",
+ "about",
+ "download",
+ "source",
+ "contribute",
+ );
+?>
diff --git a/public_html/site/site.php b/public_html/site/site.php
index 8b42d2f3..aaf8144f 100644
--- a/public_html/site/site.php
+++ b/public_html/site/site.php
@@ -27,14 +27,7 @@
<header>
<div class="head-wrap flexy">
<img class="head-icon" src="" class="head-icon">
- <?php head($page,
- "start",
- "about",
- "download",
- "contribute",
- "source"
- );
- ?>
+ <?php include 'menu.php'; ?>
</div>
</header>
<main >
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.