diff --git a/php-worker/Dockerfile b/php-worker/Dockerfile index 7414459d..8620a593 100644 --- a/php-worker/Dockerfile +++ b/php-worker/Dockerfile @@ -38,7 +38,12 @@ RUN apk --update add wget \ RUN pecl channel-update pecl.php.net; \ - docker-php-ext-install mysqli mbstring pdo pdo_mysql tokenizer xml pcntl + docker-php-ext-install mysqli mbstring pdo pdo_mysql xml pcntl; \ + if [ $(php -r "echo PHP_MAJOR_VERSION;") = "8" ] && [ $(php -r "echo PHP_MINOR_VERSION;") = "1" ]; then \ + php -m | grep -q 'tokenizer'; \ + else \ + docker-php-ext-install tokenizer; \ + fi # Add a non-root user: ARG PUID=1000