Author: Derick Rethans (derickr)
Date: 2026-07-30T15:07:13+01:00
Commit:
https://github.com/php/web-php/commit/fe330c2377516a06c9b4897cbabdb7c93de67d6e
Raw diff:
https://github.com/php/web-php/commit/fe330c2377516a06c9b4897cbabdb7c93de67d6e.diff
Create release files with a cache timeout of 30 minutes, instead of the default
month
Changed paths:
M bin/createReleaseEntry
Diff:
diff --git a/bin/createReleaseEntry b/bin/createReleaseEntry
index a9dcf1e658..97bd35afd8 100755
--- a/bin/createReleaseEntry
+++ b/bin/createReleaseEntry
@@ -58,7 +58,7 @@ if (isset($opts['r'])) {
file_put_contents(RELEASES_ABS . $release, "<?php
\$_SERVER['BASE_PAGE'] = 'releases/$release';
include_once __DIR__ . '/../include/prepend.inc';
-site_header('PHP $version Release Announcement');
+site_header('PHP $version Release Announcement', ['cache' => true,
'cache_control' => 30 * 60]);
?>
<h1>PHP $version Release Announcement</h1>