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.

Reply via email to