[web-php] master: Fix BASE_PAGE value on generated release entries

Author: Sara Golemon (sgolemon) Date: 2021-07-08T19:37:24Z Commit: https://github.com/php/web-php/commit/543076f15b62e18e2c9419fe4b3a00bbd5a3059f Raw diff: https://github.com/php/web-php/commit/543076f15b62e18e2c9419fe4b3a00bbd5a3059f.diff Fix BASE_PAGE value on generated release entries Changed paths: M bin/createReleaseEntry M releases/5_2_17.php M releases/7_2_32.php M releases/7_2_34.php M releases/7_3_21.php M releases/7_3_22.php M releases/7_3_23.php M releases/7_3_24.php M releases/7_3_25.php M releases/7_3_26.php M releases/7_3_27.php M releases/7_3_28.php M releases/7_3_29.php M releases/7_4_10.php M releases/7_4_11.php M releases/7_4_12.php M releases/7_4_13.php M releases/7_4_14.php M releases/7_4_15.php M releases/7_4_16.php M releases/7_4_18.php M releases/7_4_19.php M releases/7_4_20.php M releases/7_4_21.php M releases/7_4_3.php M releases/7_4_4.php M releases/7_4_5.php M releases/7_4_6.php M releases/7_4_7.php M releases/7_4_9.php M releases/8_0_0.php M releases/8_0_1.php M releases/8_0_2.php M releases/8_0_3.php M releases/8_0_5.php M releases/8_0_6.php M releases/8_0_8.php Diff: diff --git a/bin/createReleaseEntry b/bin/createReleaseEntry index 03da512c2..a2683d175 100755 --- 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'); ?> diff --git a/releases/5_2_17.php b/releases/5_2_17.php index 74591d2cc..ac4a74827 100644 --- 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"); ?> diff --git a/releases/7_2_32.php b/releases/7_2_32.php index 00760b287..3be0a8f4d 100644 --- 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'); ?> diff --git a/releases/7_2_34.php b/releases/7_2_34.php index 33b0093e9..9d759fb1c 100644 --- 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'); ?> diff --git a/releases/7_3_21.php b/releases/7_3_21.php index 45d4e24bd..a7cb5f528 100644 --- 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'); ?> diff --git a/releases/7_3_22.php b/releases/7_3_22.php index 05e64c183..ae8e1a70d 100644 --- 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'); ?> diff --git a/releases/7_3_23.php b/releases/7_3_23.php index bedb33964..18b49f795 100644 --- 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'); ?> diff --git a/releases/7_3_24.php b/releases/7_3_24.php index 429a4539c..419243a02 100644 --- 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'); ?> diff --git a/releases/7_3_25.php b/releases/7_3_25.php index f65eecf87..4a3c8f188 100644 --- 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'); ?> diff --git a/releases/7_3_26.php b/releases/7_3_26.php index 22d0a59f0..b71d12a92 100644 --- 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'); ?> diff --git a/releases/7_3_27.php b/releases/7_3_27.php index ffd31c26a..2706ed336 100644 --- 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'); ?> diff --git a/releases/7_3_28.php b/releases/7_3_28.php index f192bd934..805117c14 100644 --- 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'); ?> diff --git a/releases/7_3_29.php b/releases/7_3_29.php index a06cc3a69..3527c2b34 100644 --- 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'); ?> diff --git a/releases/7_4_10.php b/releases/7_4_10.php index df75c15e7..1797dd20a 100644 --- 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'); ?> diff --git a/releases/7_4_11.php b/releases/7_4_11.php index fd3ac2e49..9d02f5515 100644 --- 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'); ?> diff --git a/releases/7_4_12.php b/releases/7_4_12.php index 49536d646..74a708eaf 100644 --- 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'); ?> diff --git a/releases/7_4_13.php b/releases/7_4_13.php index 963353531..50c1e2f7d 100644 --- 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'); ?> diff --git a/releases/7_4_14.php b/releases/7_4_14.php index 8a7886284..9399b78ca 100644 --- 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'); ?> diff --git a/releases/7_4_15.php b/releases/7_4_15.php index 9123c892a..e6c53a038 100644 --- 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'); ?> diff --git a/releases/7_4_16.php b/releases/7_4_16.php index f884e23bb..2578cdcb0 100644 --- 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'); ?> diff --git a/releases/7_4_18.php b/releases/7_4_18.php index 0594b2157..8375246bf 100644 --- 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'); ?> diff --git a/releases/7_4_19.php b/releases/7_4_19.php index 386b4e6c0..ad25264a8 100644 --- 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'); ?> diff --git a/releases/7_4_20.php b/releases/7_4_20.php index a2ceffb6e..eecabb960 100644 --- 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'); ?> diff --git a/releases/7_4_21.php b/releases/7_4_21.php index 777a1c68d..0b6cd7956 100644 --- 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'); ?> diff --git a/releases/7_4_3.php b/releases/7_4_3.php index d67734460..96a8b1fd9 100644 --- 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"); ?> diff --git a/releases/7_4_4.php b/releases/7_4_4.php index 1b9453c48..0046574d3 100644 --- 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"); ?> diff --git a/releases/7_4_5.php b/releases/7_4_5.php index 550700045..de4b53ba7 100644 --- 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"); ?> diff --git a/releases/7_4_6.php b/releases/7_4_6.php index 1f9fc2b98..a27659496 100644 --- 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"); ?> diff --git a/releases/7_4_7.php b/releases/7_4_7.php index 09146b053..c6577df80 100644 --- 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"); ?> diff --git a/releases/7_4_9.php b/releases/7_4_9.php index dfb22e68a..d2227705e 100644 --- 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'); ?> diff --git a/releases/8_0_0.php b/releases/8_0_0.php index ec9226195..ae6b66388 100644 --- 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'); ?> diff --git a/releases/8_0_1.php b/releases/8_0_1.php index 3d7fc8aca..97cf5d488 100644 --- 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'); ?> diff --git a/releases/8_0_2.php b/releases/8_0_2.php index 8273bb984..bff64c685 100644 --- 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'); ?> diff --git a/releases/8_0_3.php b/releases/8_0_3.php index 24bdf54ad..9a6cc42fe 100644 --- 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'); ?> diff --git a/releases/8_0_5.php b/releases/8_0_5.php index cacf5161b..838c1362c 100644 --- 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'); ?> diff --git a/releases/8_0_6.php b/releases/8_0_6.php index bb33f1d1c..d9b60c767 100644 --- 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'); ?> diff --git a/releases/8_0_8.php b/releases/8_0_8.php index 639207b24..b0445a42b 100644 --- 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'); ?>