diff options
| author | Remi Collet <remi@remirepo.net> | 2018-08-21 11:19:47 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-08-21 11:19:47 +0200 |
| commit | 4811506f2e6162436268707f54190c9f1ce705b4 (patch) | |
| tree | d0d40ebfc0818243b24b140ce7c3b24838e039a1 | |
| parent | e88dc71fe0a70f3d6dde6c23b89ef4a3923db041 (diff) | |
remi-php73 is open
| -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 052f69bc..196a466b 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -64,7 +64,7 @@ $types = [ 'scl' => 'Multiple versions simultaneously', ]; $phpvers = [ - '7.3' => false, + '7.3' => 'remi-php73', '7.2' => 'remi-php72', '7.1' => 'remi-php71', '7.0' => 'remi-php70', |