summaryrefslogtreecommitdiffstats
path: root/wizard/index.php
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2022-11-15 08:36:26 +0100
committerRemi Collet <remi@php.net>2022-11-15 08:36:26 +0100
commit9c3ce087818e632327b82a3fe1378de65d7a0571 (patch)
tree0f20e0dfa228be9b70dfb9c509c25fac2a3ac36a /wizard/index.php
parent32e9ea0a1e0168d7049e975c2c30ae2ea91faca9 (diff)
F37 is released
Diffstat (limited to 'wizard/index.php')
-rw-r--r--wizard/index.php10
1 files changed, 5 insertions, 5 deletions
diff --git a/wizard/index.php b/wizard/index.php
index 726b82b1..1e4cb36a 100644
--- a/wizard/index.php
+++ b/wizard/index.php
@@ -9,7 +9,7 @@
</head>
<?php
define('FC_EOL', 34);
-define('FC_DEV', 37);
+define('FC_DEV', 38);
define('EL_EOL', 6);
define('EL_DEV', 10);
define('EPEL_DEV', 2); // 0 missing, 1 partially populated, 2 mostly full
@@ -69,9 +69,9 @@ $osname = [
'CentOS 8' => 'EL 8',
'CentOS 7' => 'EL 7 (maintained until June 2024)',
':fedora' => 'Fedora Linux',
- 'Fedora 37' => 'Fedora 37 (development version)',
+ 'Fedora 37' => 'Fedora 37',
'Fedora 36' => 'Fedora 36',
- 'Fedora 35' => 'Fedora 35',
+ 'Fedora 35' => 'Fedora 35 (maintained until December 2022)',
// 'Fedora 34' => 'Fedora 34 (End of life since June 2022)',
];
$types = [
@@ -98,7 +98,7 @@ $phpvers = [
];
$phpname = [
':devel' => 'Development version, not ready for production',
- '8.2' => '8.2.0RC5 (GA planed for Nov/Dec 2022)',
+ '8.2' => '8.2.0RC6 (GA planed for Nov/Dec 2022)',
':stable' => 'Stable versions - usage recommended',
'8.1' => '8.1.12 (active support until November 2023)',
'8.0' => '8.0.25 (active support until November 2022)',
@@ -206,7 +206,7 @@ if ($os) {
printf("<li><b>WARNING: %s</b> is a <b>development</b> version, not ready for production.</li><br />", $os);
} else if ($ver == 7 || $ver == 35) {
- $days = ($ver == 7 ? mktime(0,0,0,6,30,2024) : mktime(0,0,0,12,13,2022));
+ $days = ($ver == 7 ? mktime(0,0,0,6,30,2024) : mktime(0,0,0,12,15,2022));
$eol = date("F Y", $days);
$days = (int)(($days - time()) / (60 * 60 * 24));
$weeks = round($days/7);