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

---
 includes/desktop/site.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'includes/desktop')

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>
-- 
cgit v1.2.3