diff options
| author | Remi Collet <remi@remirepo.net> | 2017-04-27 16:32:47 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2017-04-27 16:32:47 +0200 |
| commit | 31c52e4ce2395e792e637177d0477fb53f91a8d7 (patch) | |
| tree | 3a0ff5c5b8ad2d51c7438304bcd0aa15f0253b12 /wizard/index.php | |
| parent | 01422b80858861b273e57ffd6ad3674574629e62 (diff) | |
Wizard: warn about EOL php versions
Diffstat (limited to 'wizard/index.php')
| -rw-r--r-- | wizard/index.php | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/wizard/index.php b/wizard/index.php index 991f28c9..cde72eec 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -143,9 +143,8 @@ if ($os) { if ($php && $os) { printf("<li><b>%s</b> provides PHP version <b>%s</b> in its official repository</li><br />", $os, $osvers[$os]); - if ($ver < 6 && version_compare($php, '7.0', '>=')) { - printf("<li>Sorry, but PHP version <b>%s</b> is not available for <b>%s</b>, you need to run a more recent OS.</li><br />", $php, $os); - $err = true; + if (version_compare($php, '5.6', '<')) { + printf("<li><b>WARNING</b>, PHP version <b>%s</b> have reached its eod of life, despite packages have security fix, you should consider a maintained version.</li><br />", $php); } } if ($php && $os && $type && !$err) { |