Fix php-redis