Si lo que quieres es evitar ese error, simplemente puedes desactivar la extensión php-redis en tu instalación de PHP.
Para ello puedes editar tu archivo de configuración php.ini y quitar la línea:
extension=redis.so
Puedes simplemente comentarla para no perder la línea:
# extension=redis.so
Si no sabes dónde está tu archivo php.ini, puedes lanzar el comando:
php -i
Busca en la información de PHP que te aparece en el terminal algo como esto:
Loaded Configuration File => /opt/homebrew/etc/php/8.1/php.ini
Si quieres conservar redis instalado en tu sistema, en vez de desinstalar o desactivar esa extensión, te sugiero que intentes volver a instalar php-redis en tu ordenador, a ver si esto lo soluciona.
Miguel Angel
3145
140
209
17