Merge branch 'php8dot2' into php8dot3

moveis-simonetti · Oct 10, 2024 · 88c015c · 88c015c
2 parents c46d0b2 + 4dd0758
commit 88c015c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -16,6 +16,7 @@ ENV \
     XDEBUG_ENABLED=false \
     XDEBUG_IDEKEY="docker" \
     XDEBUG_VERSION="-3.3.2" \
+    REDIS_VERSION="-5.3.7" \
     XDEBUG_REMOTE_PORT=9000 \
     PHP_EXTENSION_WDDX=1 \
     PHP_OPENSSL=1 \
@@ -35,7 +36,7 @@ RUN docker-php-ext-configure gd --with-jpeg \
     && docker-php-ext-install -j$(nproc) bcmath gd pdo_mysql calendar exif gettext shmop soap sockets intl pcntl xsl ldap imap ftp
 
 RUN echo "---> Adding Redis" && \
-    pecl install redis && \
+    pecl install redis${REDIS_VERSION} && \
     docker-php-ext-enable redis
 
 RUN echo "---> Adding xDebug" && \