diff options
| author | Remi Collet <fedora@famillecollet.com> | 2016-07-23 15:40:20 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2016-07-23 15:40:20 +0200 |
| commit | ed049dda29aa0541d89b9702eff101926087533f (patch) | |
| tree | ac69fba586cfa9aa822daf0af2fb62659874f921 | |
| parent | 20d3412c705592d12164fbeb67bd9aea2054e694 (diff) | |
Wizard: remi-php71 is now populated
| -rw-r--r-- | wizard/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wizard/index.php b/wizard/index.php index aa64ff87..9606e3ad 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -29,7 +29,7 @@ $types = [ 'scl' => 'Multiple versions', ]; $phpvers = [ - '7.1' => false, + '7.1' => 'remi-php71', '7.0' => 'remi-php70', '5.6' => 'remi-php56', '5.5' => 'remi-php55', |