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
     ],
 );
 

Reply via email to