Author: Derick Rethans (derickr)
Date: 2026-08-10T13:10:57+01:00
Commit:
https://github.com/php/web-php/commit/17a636ae2ad35c59546ed3fea63790d9c42cff03
Raw diff:
https://github.com/php/web-php/commit/17a636ae2ad35c59546ed3fea63790d9c42cff03.diff
Set cache header for documentation downloads
Changed paths:
M public/download-docs.php
Diff:
diff --git a/public/download-docs.php b/public/download-docs.php
index d228b21e3e..79961ec0ff 100644
--- a/public/download-docs.php
+++ b/public/download-docs.php
@@ -38,7 +38,13 @@
</div>
';
-site_header("Download documentation", ["current" => "docs"]);
+site_header(
+ "Download documentation",
+ [
+ "current" => "docs",
+ 'cache_control' => 5 * 60, // 5 minutes
+ ]
+);
// Format to look for
$formats = [
