diff options
| author | Remi Collet <remi@remirepo.net> | 2021-11-09 16:15:46 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2021-11-09 16:15:46 +0100 |
| commit | 63cd9d0f4a37be61b7ed4301859bf429a0976588 (patch) | |
| tree | 8c2c92ce777b87f7cca95622561b0dabf9bde39f | |
| parent | e761126af3c115b03debe94c8436ed50ed95a1a3 (diff) | |
Wizard: EL-9 also have 7.4
| -rw-r--r-- | wizard/index.php | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/wizard/index.php b/wizard/index.php index 91f9ece7..fddc3121 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -235,6 +235,12 @@ 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 ($dist != Fedora && $ver >= 9) { + $min = $osmin[$os]; + } else { + $min = (is_array($osvers[$os]) ? $osvers[$os][0] : $osvers[$os]); + } + printf("<li>Packages have the <b>same name</b> than the base repository, ie php-*</li><br />"); if (version_compare($php, $osmax[$os], '>')) { @@ -243,8 +249,8 @@ if ($php && $os && $type && !$err) { } else 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, $tmp=(is_array($osvers[$os]) ? $osvers[$os][0] : $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 />", $tmp, $os); + } else if (version_compare($php, $min, '<')) { + printf("<li>Sorry, but PHP version older than <b>%s</b> are not available for <b>%s</b>, try multiple versions.</li><br />", $min, $os); } else { if ($dist == 'Fedora' && version_compare($php, $tmp=(is_array($osvers[$os]) ? $osvers[$os][0] : $osvers[$os]), '=')) { |