Pagoda no pudo instalar la extensión php redis
Esto se debe a que la extensión redis se configuró en el archivo php.ini, pero el archivo php-cli no se configuró correctamente.
Archivo php web
Archivo php php-cli
Creo que la causa de este problema puede ser que los archivos de configuración de web y cli no son los mismos archivo. Pero no sé por qué otras extensiones son normales, pero redis no.