chore: install PHP 8.5 extensions for tool-nginx

php-all-dev installs all PHP versions including 8.5, but extension
metapackages only install for 8.4. Since alternatives selects 8.5 as
default, explicitly install extensions for 8.5 to fix missing curl module.

Co-authored-by: Ona <no-reply@ona.com>

Author: geropl

chunks/tool-nginx/Dockerfile

@@ -4,7 +4,7 @@ FROM ${base}
 USER root
 
 # Dazzle does not rebuild a layer until one of its lines are changed. Increase this counter to rebuild this layer.
-ENV TRIGGER_REBUILD=2
+ENV TRIGGER_REBUILD=4
 
 # Install composer
 COPY --from=composer:2 /usr/bin/composer /usr/bin/composer
@@ -34,6 +34,18 @@ RUN for _ppa in 'ppa:ondrej/php' 'ppa:ondrej/apache2' 'ppa:ondrej/nginx'; do add
         php-tokenizer \
         php-xml \
         php-zip \
+        # php-all-dev installs PHP 8.5, but metapackages only install extensions for 8.4, so explicitly install 8.5 extensions
+        php8.5-bcmath \
+        php8.5-curl \
+        php8.5-fpm \
+        php8.5-gd \
+        php8.5-intl \
+        php8.5-mbstring \
+        php8.5-mysql \
+        php8.5-pgsql \
+        php8.5-sqlite3 \
+        php8.5-xml \
+        php8.5-zip \
     && mkdir -p /var/run/nginx \
     && ln -s /etc/apache2/mods-available/rewrite.load /etc/apache2/mods-enabled/rewrite.load \
     && chown -R gitpod:gitpod /etc/apache2 /var/run/apache2 /var/lock/apache2 /var/log/apache2 \