Fix BASE_PAGE value on generated release entries

2026-03-23 23:02:13 +01:00 · 2021-07-08 19:23:57 +00:00
parent 5c480765f4
commit 543076f15b
37 changed files with 37 additions and 37 deletions
--- a/bin/createReleaseEntry
+++ b/bin/createReleaseEntry
@@ -55,7 +55,7 @@ const RELEASES_ABS = __DIR__ . '/../' . RELEASES_REL;
 if (isset($opts['r'])) {
 	$release = strtr($version, '.', '_') . '.php';
 	file_put_contents(RELEASES_ABS . $release, "<?php
-\$_SERVER['BASE_PAGE'] = 'releases/$version.php';
+\$_SERVER['BASE_PAGE'] = 'releases/$release';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP $version Release Announcement');
 ?>
--- a/releases/5_2_17.php
+++ b/releases/5_2_17.php
@@ -1,5 +1,5 @@
 <?php
-               $_SERVER['BASE_PAGE'] = 'releases/5.2.17.php';
+$_SERVER['BASE_PAGE'] = 'releases/5_2_17.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header("PHP 5.2.17 Release Announcement");
 ?>
--- a/releases/7_2_32.php
+++ b/releases/7_2_32.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.2.32.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_2_32.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.2.32 Release Announcement');
 ?>
--- a/releases/7_2_34.php
+++ b/releases/7_2_34.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.2.34.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_2_34.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.2.34 Release Announcement');
 ?>
--- a/releases/7_3_21.php
+++ b/releases/7_3_21.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.21.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_21.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.21 Release Announcement');
 ?>
--- a/releases/7_3_22.php
+++ b/releases/7_3_22.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.22.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_22.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.22 Release Announcement');
 ?>
--- a/releases/7_3_23.php
+++ b/releases/7_3_23.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.23.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_23.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.23 Release Announcement');
 ?>
--- a/releases/7_3_24.php
+++ b/releases/7_3_24.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.24.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_24.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.24 Release Announcement');
 ?>
--- a/releases/7_3_25.php
+++ b/releases/7_3_25.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.25.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_25.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.25 Release Announcement');
 ?>
--- a/releases/7_3_26.php
+++ b/releases/7_3_26.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.26.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_26.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.26 Release Announcement');
 ?>
--- a/releases/7_3_27.php
+++ b/releases/7_3_27.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.27.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_27.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.27 Release Announcement');
 ?>
--- a/releases/7_3_28.php
+++ b/releases/7_3_28.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.28.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_28.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.28 Release Announcement');
 ?>
--- a/releases/7_3_29.php
+++ b/releases/7_3_29.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.3.29.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_3_29.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.3.29 Release Announcement');
 ?>
--- a/releases/7_4_10.php
+++ b/releases/7_4_10.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.10.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_10.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.10 Release Announcement');
 ?>
--- a/releases/7_4_11.php
+++ b/releases/7_4_11.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.11.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_11.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.11 Release Announcement');
 ?>
--- a/releases/7_4_12.php
+++ b/releases/7_4_12.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.12.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_12.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.12 Release Announcement');
 ?>
--- a/releases/7_4_13.php
+++ b/releases/7_4_13.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.13.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_13.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.13 Release Announcement');
 ?>
--- a/releases/7_4_14.php
+++ b/releases/7_4_14.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.14.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_14.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.14 Release Announcement');
 ?>
--- a/releases/7_4_15.php
+++ b/releases/7_4_15.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.15.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_15.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.15 Release Announcement');
 ?>
--- a/releases/7_4_16.php
+++ b/releases/7_4_16.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.16.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_16.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.16 Release Announcement');
 ?>
--- a/releases/7_4_18.php
+++ b/releases/7_4_18.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.18.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_18.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.18 Release Announcement');
 ?>
--- a/releases/7_4_19.php
+++ b/releases/7_4_19.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.19.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_19.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.19 Release Announcement');
 ?>
--- a/releases/7_4_20.php
+++ b/releases/7_4_20.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.20.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_20.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.20 Release Announcement');
 ?>
--- a/releases/7_4_21.php
+++ b/releases/7_4_21.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.21.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_21.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.21 Release Announcement');
 ?>
--- a/releases/7_4_3.php
+++ b/releases/7_4_3.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.3.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_3.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header("PHP 7.4.3 Release Announcement");
 ?>
--- a/releases/7_4_4.php
+++ b/releases/7_4_4.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.4.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_4.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header("PHP 7.4.4 Release Announcement");
 ?>
--- a/releases/7_4_5.php
+++ b/releases/7_4_5.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.5.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_5.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header("PHP 7.4.5 Release Announcement");
 ?>
--- a/releases/7_4_6.php
+++ b/releases/7_4_6.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.6.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_6.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header("PHP 7.4.6 Release Announcement");
 ?>
--- a/releases/7_4_7.php
+++ b/releases/7_4_7.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.7.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_7.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header("PHP 7.4.7 Release Announcement");
 ?>
--- a/releases/7_4_9.php
+++ b/releases/7_4_9.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/7.4.9.php';
+$_SERVER['BASE_PAGE'] = 'releases/7_4_9.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 7.4.9 Release Announcement');
 ?>
--- a/releases/8_0_0.php
+++ b/releases/8_0_0.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/8.0.0.php';
+$_SERVER['BASE_PAGE'] = 'releases/8_0_0.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 8.0.0 Release Announcement');
 ?>
--- a/releases/8_0_1.php
+++ b/releases/8_0_1.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/8.0.1.php';
+$_SERVER['BASE_PAGE'] = 'releases/8_0_1.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 8.0.1 Release Announcement');
 ?>
--- a/releases/8_0_2.php
+++ b/releases/8_0_2.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/8.0.2.php';
+$_SERVER['BASE_PAGE'] = 'releases/8_0_2.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 8.0.2 Release Announcement');
 ?>
--- a/releases/8_0_3.php
+++ b/releases/8_0_3.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/8.0.3.php';
+$_SERVER['BASE_PAGE'] = 'releases/8_0_3.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 8.0.3 Release Announcement');
 ?>
--- a/releases/8_0_5.php
+++ b/releases/8_0_5.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/8.0.5.php';
+$_SERVER['BASE_PAGE'] = 'releases/8_0_5.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 8.0.5 Release Announcement');
 ?>
--- a/releases/8_0_6.php
+++ b/releases/8_0_6.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/8.0.6.php';
+$_SERVER['BASE_PAGE'] = 'releases/8_0_6.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 8.0.6 Release Announcement');
 ?>
--- a/releases/8_0_8.php
+++ b/releases/8_0_8.php
@@ -1,5 +1,5 @@
 <?php
-$_SERVER['BASE_PAGE'] = 'releases/8.0.8.php';
+$_SERVER['BASE_PAGE'] = 'releases/8_0_8.php';
 include_once __DIR__ . '/../include/prepend.inc';
 site_header('PHP 8.0.8 Release Announcement');
 ?>