diff options
Diffstat (limited to 'wizard')
| -rw-r--r-- | wizard/index.php | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/wizard/index.php b/wizard/index.php index 57e82b67..727772ec 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -29,12 +29,14 @@ $types = [ 'scl' => 'Multiple versions', ]; $phpvers = [ + '7.1' => false, '7.0' => 'remi-php70', '5.6' => 'remi-php56', '5.5' => 'remi-php55', '5.4' => 'remi', ]; $phpname = [ + '7.1' => '7.1.0-dev (for testing, not ready for production)', '7.0' => '7.0.7 (active support until Dec 2017)', '5.6' => '5.6.22 (active support until Dec 2016)', '5.5' => '5.5.36 (security support until Jul 2016)', @@ -155,7 +157,10 @@ if ($php && $os && $type && !$err) { if ($type == 'base') { printf("<li>You want a <b>single version </b> which means replacing base packages from the distribution</li><br />"); - if (version_compare($php, $osvers[$os], '<')) { + if (!$phpvers[$php]) { + printf("<li>Sorry, but PHP version <b>%s</b> are not yet available for <b>%s</b> as single version, try multiple versions.</li><br />", $php, $os); + + } else if (version_compare($php, $osvers[$os], '<')) { printf("<li>Sorry, but PHP version older than <b>%s</b> are not available for <b>%s</b>, try multiple versions.</li><br />", $osvers[$os], $os); } else if (version_compare($php, $osvers[$os], '=')) { |