[web-php] master: Set cache header for documentation downloads
| From: | Derick Rethans | Date: | Mon, 10 Aug 2026 12:11:17 +0000 |
| Subject: | [web-php] master: Set cache header for documentation downloads | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-33941@lists.php.net to get a copy of this message | ||
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 = [