Ensure navigation is up-to-date

2 files changed, 4 insertions, 1 deletions

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";