diff --git a/etc/config.dist b/etc/config.dist index 95df96f..443dd9b 100644 --- a/etc/config.dist +++ b/etc/config.dist @@ -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)"