Set cache headers for other pages as well, so we no longer need CDN Edge-Rules for these

Author: derickr

docs.php

@@ -5,8 +5,14 @@
 $_SERVER['BASE_PAGE'] = 'docs.php';
 include_once __DIR__ . '/include/prepend.inc';
 
-site_header("Documentation", ["current" => "docs"]);
-
+site_header(
+    "Documentation",
+    [
+        "current" => "docs",
+        'intro' => $intro,
+        'cache_control' => 5 * 60, // 5 minutes
+    ]
+);
 ?>
 
 <h1>Documentation</h1>

include/shared-manual.inc

@@ -325,6 +325,7 @@ function manual_setup($setup): void {
         "prev" => $setup["prev"],
         "next" => $setup["next"],
         "cache" => $lastmod,
+        'cache_control' => 5 * 60, // 5 minutes
         "description" => $setup["this"][2] ?? null,
     ];
     site_header($setup["this"][1] . " - Manual", $config);

index.php

@@ -135,6 +135,7 @@
         ],
         'css' => ['home.css'],
         'intro' => $intro,
+        'cache_control' => 5 * 60, // 5 minutes
     ],
 );
 

releases/index.php

@@ -75,6 +75,7 @@
 site_header("Releases", [
     'current' => 'downloads',
     'css' => '/styles/releases.css',
+    'cache_control' => 60 * 60, // 60 minutes
 ]);
 
 echo "<h1>Unsupported Historical Releases</h1>\n\n";