From 74efa86851405938086a82dea890f40f36c1d130 Mon Sep 17 00:00:00 2001
From: Jonas Kohl <git@jonaskohl.de>
Date: Tue, 10 Sep 2024 13:27:57 +0200
Subject: Ensure navigation is up-to-date

---
 includes/desktop/site.php | 2 +-
 site.php                  | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/includes/desktop/site.php b/includes/desktop/site.php
index 5bf0143..ada71b4 100644
--- a/includes/desktop/site.php
+++ b/includes/desktop/site.php
@@ -11,7 +11,7 @@
     <frameset rows="96,*" frameBorder="0" border="0" noresize framespacing="0">
         <frame src="navtop.html" frameBorder="0" border="0" noresize scrolling="no">
         <frameset cols="120,*" frameBorder="0" border="0" noresize framespacing="0">
-            <frame src="navside.html" frameBorder="0" border="0" noresize scrolling="no">
+            <frame src="navside.html?v=<?= htmlentities(urlencode(filemtime(__DIR__ . "/../../navside.html"))) ?>" frameBorder="0" border="0" noresize scrolling="no">
             <frame src="pages/<?= htmlentities(urlencode($_GET["p"] ?? "start.php")) ?>" name="sitemain" frameBorder="0" border="0" noresize>
         </frameset>
     </frameset>
diff --git a/site.php b/site.php
index 6d9f574..834a844 100644
--- a/site.php
+++ b/site.php
@@ -1,5 +1,8 @@
 <?php
 
+header("Pragma: no-cache");
+header("Cache-Control: no-cache");
+
 $__mobile = include __DIR__ . "/includes/mobile-detect.php";
 
 include __DIR__ . "/includes/" . ($__mobile ? "mobile" : "desktop") . "/site.php";
-- 
cgit v1.2.3