diff options
author | J0WI <J0WI@users.noreply.github.com> | 2021-08-29 15:20:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-29 15:20:12 +0000 |
commit | 9ec9b3b4c5c8fc125267231aa2f7c301589b8965 (patch) | |
tree | df09a760442ba1f5142c8725fcb7a61cb9034797 /update.sh | |
parent | 854c696d5f48d946cb8573817fbe4de287ddc086 (diff) |
PHP 8.0 for 22+ (#1563)
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
Diffstat (limited to 'update.sh')
-rwxr-xr-x | update.sh | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -2,7 +2,9 @@ set -eo pipefail declare -A php_version=( - [default]='7.4' + [default]='8.0' + [20]='7.4' + [21]='7.4' ) declare -A cmd=( @@ -113,7 +115,7 @@ function create_variant() { ' "$dir/Dockerfile" case "$phpVersion" in - 7.4 ) + 7.4|8.0 ) sed -ri -e ' \@docker-php-ext-configure gmp --with-gmp@d; \@/usr/include/gmp.h@d; |