D'accord, j'ai trouvé la réponse en cherchant sur Internet, en la posant et en y répondant moi-même.
La première solution, https://github.com/phpredis/phpredis/commit/83f3440b889c79291d369d83ce..., modifie le code source puis compile et installe.
La deuxième option est git clone -b php-numencode https://github.com/nicolasff/phpredis.git. Re-téléchargez la version corrigée de l'installation de PHPredis.
D'accord, j'ai trouvé la réponse en cherchant sur Internet, en la posant et en y répondant moi-même.
La première solution, https://github.com/phpredis/phpredis/commit/83f3440b889c79291d369d83ce..., modifie le code source puis compile et installe.
La deuxième option est git clone -b php-numencode https://github.com/nicolasff/phpredis.git. Re-téléchargez la version corrigée de l'installation de PHPredis.