Browse Source

add php7.4 - change labels

master
Simon Vieille 2 months ago
parent
commit
eea3d9e94a
Signed by: Simon Vieille <simon@deblan.fr> GPG Key ID: 03383D15A1D31745
1 changed files with 9 additions and 3 deletions
  1. 9
    3
      etc/config.dist

+ 9
- 3
etc/config.dist View File

@@ -36,16 +36,22 @@ PHP_BIN=/usr/bin/php7.3
# Available PHP versions
# It's possible to add or remove a version
# using the same logic
PHP_VERSIONS="7.3 7.2 7.1 5.6"
PHP_VERSIONS="7.3 7.2 7.1 7.0 7.4 5.6"
PHP_FPM56_POOL_PATH=/etc/php5/fpm/pool.d
PHP_FPM70_POOL_PATH=/etc/php/7.0/fpm/pool.d
PHP_FPM71_POOL_PATH=/etc/php/7.1/fpm/pool.d
PHP_FPM72_POOL_PATH=/etc/php/7.2/fpm/pool.d
PHP_FPM73_POOL_PATH=/etc/php/7.3/fpm/pool.d
PHP_FPM74_POOL_PATH=/etc/php/7.4/fpm/pool.d
PHP_FPM56_SERVICE=php5-fpm
PHP_FPM70_SERVICE=php7.0-fpm
PHP_FPM71_SERVICE=php7.1-fpm
PHP_FPM72_SERVICE=php7.2-fpm
PHP_FPM73_SERVICE=php7.3-fpm
PHP_56_LABEL="PHP 5.6 (not recommended)"
PHP_71_LABEL="PHP 7.1"
PHP_FPM74_SERVICE=php7.4-fpm
PHP_56_LABEL="PHP 5.6 (outdated)"
PHP_70_LABEL="PHP 7.0 (outdated)"
PHP_71_LABEL="PHP 7.1 (security support until 1 Dec 2019)"
PHP_72_LABEL="PHP 7.2"
PHP_73_LABEL="PHP 7.3 (recommended)"
PHP_74_LABEL="PHP 7.4 (dev only)"

Loading…
Cancel
Save