Remove redis from PHP 8.5 for now

Author: mnapoli

php-85/Dockerfile

@@ -178,7 +178,8 @@ RUN set -xe; \
 # Install extensions
 # We can install extensions manually or using `pecl`
 RUN pecl install APCu
-RUN pecl install redis-6.2.0
+# TODO not available for PHP 8.5 yet
+#RUN pecl install redis-6.2.0
 
 
 # ---------------------------------------------------------------

tests/test_3_manual_enabling_extensions.php

@@ -6,7 +6,8 @@
     'intl' => class_exists(\Collator::class),
     'apcu' => function_exists('apcu_add'),
     'soap' => class_exists(\SoapClient::class),
-    'redis' => class_exists(\Redis::class),
+    // TODO redis is not available on PHP 8.5 yet
+    'redis' => PHP_VERSION_ID >= 80500 ? true : class_exists(\Redis::class),
 ];
 
 $extensionDir = ini_get('extension_dir');