summaryrefslogtreecommitdiffstats
path: root/wizard/index.php
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2017-04-27 16:32:47 +0200
committerRemi Collet <remi@remirepo.net>2017-04-27 16:32:47 +0200
commit31c52e4ce2395e792e637177d0477fb53f91a8d7 (patch)
tree3a0ff5c5b8ad2d51c7438304bcd0aa15f0253b12 /wizard/index.php
parent01422b80858861b273e57ffd6ad3674574629e62 (diff)
Wizard: warn about EOL php versions
Diffstat (limited to 'wizard/index.php')
-rw-r--r--wizard/index.php5
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) {