diff options
| author | Jonas Kohl <git@jonaskohl.de> | 2024-09-10 13:27:57 +0200 |
|---|---|---|
| committer | Jonas Kohl <git@jonaskohl.de> | 2024-09-10 13:27:57 +0200 |
| commit | 74efa86851405938086a82dea890f40f36c1d130 (patch) | |
| tree | 58fa19d0b1ffdc56f09d8890d961b12e1b27bef9 /includes/desktop/site.php | |
| parent | 0e6da7b6c6461be88dab3576cbf81c1d3ddc0392 (diff) | |
Ensure navigation is up-to-date
Diffstat (limited to 'includes/desktop/site.php')
| -rw-r--r-- | includes/desktop/site.php | 2 |
1 files changed, 1 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> |