Author: Derick Rethans (derickr)
Date: 2026-10-21T10:57:04+01:00
Commit:
https://github.com/php/web-php/commit/eaf40c8a303850cfea70a988c816db94ebe713c1
Raw diff:
https://github.com/php/web-php/commit/eaf40c8a303850cfea70a988c816db94ebe713c1.diff
Make downloads.php cachable — There is no reason why it can't be (for a short
time)
This makes it also possible to cache this in the CDN.
Changed paths:
M public/downloads.php
Diff:
diff --git a/public/downloads.php b/public/downloads.php
index e53d8b2b5c..ebef3decba 100644
--- a/public/downloads.php
+++ b/public/downloads.php
@@ -6,9 +6,6 @@
require_once __DIR__ . '/../include/gpg-keys.inc';
require_once __DIR__ . '/../include/version.inc';
-// Try to make this page non-cached
-header_nocache();
-
$os = [
'linux' => [
'name' => 'Linux',
@@ -98,6 +95,7 @@
"js_files" => [
"js/ext/prism.js",
],
+ 'cache_control' => 3 * 60, // 3 minutes
],
);