diff --git a/docker/shared/root/docker/install/php-extensions.sh b/docker/shared/root/docker/install/php-extensions.sh index 86075ef1d..8abb3dff8 100755 --- a/docker/shared/root/docker/install/php-extensions.sh +++ b/docker/shared/root/docker/install/php-extensions.sh @@ -1,11 +1,20 @@ #!/bin/bash set -ex -o errexit -o nounset -o pipefail -: "${PHP_PECL_EXTENSIONS:=""}" -: "${PHP_PECL_EXTENSIONS_EXTRA:=""}" -: "${PHP_EXTENSIONS:=""}" -: "${PHP_EXTENSIONS_EXTRA:=""}" -: "${PHP_EXTENSIONS_DATABASE:=""}" +# shellcheck disable=SC2223 +: ${PHP_PECL_EXTENSIONS:=""} + +# shellcheck disable=SC2223 +: ${PHP_PECL_EXTENSIONS_EXTRA:=""} + +# shellcheck disable=SC2223 +: ${PHP_EXTENSIONS:=""} + +# shellcheck disable=SC2223 +: ${PHP_EXTENSIONS_EXTRA:=""} + +# shellcheck disable=SC2223 +: ${PHP_EXTENSIONS_DATABASE:=""} # Grab the PHP source code so we can compile against it docker-php-source extract