Upgrade docker image

phpDocumentor · Jun 16, 2023 · b5d9525 · b5d9525
1 parent 9987e30
commit b5d9525
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -10,7 +10,7 @@ FROM php:8.1 as base
 # https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199#23
 RUN mkdir -p /usr/share/man/man1 \
     && apt-get update \
-    && apt-get install --no-install-recommends -yq graphviz libicu-dev libicu67 zlib1g-dev openjdk-11-jre-headless gpg \
+    && apt-get install --no-install-recommends -yq graphviz libicu-dev libicu72 zlib1g-dev openjdk-17-jre-headless gpg \
     && rm -rf /var/lib/apt/lists/* /usr/share/man/man1 \
     && docker-php-ext-install -j$(nproc) intl