diff --git a/debian/Dockerfile b/debian/Dockerfile index dcd1d23..9c1f432 100644 --- a/debian/Dockerfile +++ b/debian/Dockerfile @@ -61,11 +61,14 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ && rm -rf /var/lib/apt/lists/* # Install PHP extensions +COPY --from=ghcr.io/mlocati/php-extension-installer /usr/bin/install-php-extensions /usr/local/bin/ + RUN install-php-extensions \ ${php_require} \ ${php_suggest} \ ${php_extra} + # Configure PHP RUN ln -s "${PHP_INI_DIR}/php.ini-production" "${PHP_INI_DIR}/php.ini"