diff options
| author | Remi Collet <fedora@famillecollet.com> | 2016-09-29 08:02:12 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2016-09-29 08:02:12 +0200 |
| commit | 98b70b0075afe867adb3969f418e70c3a48bffe1 (patch) | |
| tree | 19eb052f35a4818a29a2bbbe4b9917b52d72e036 /wizard/index.php | |
| parent | c22cfe7d6d984372c67257cecae76ebc33983966 (diff) | |
Wizard: make more explicit than packages have same name than in base repo
Diffstat (limited to 'wizard/index.php')
| -rw-r--r-- | wizard/index.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/wizard/index.php b/wizard/index.php index ea4064ec..c979c047 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -163,6 +163,8 @@ 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 />"); + printf("<li>Packages have the <b>same name</b> than the base repository, ie php-*</li><br />"); + 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); |