php-redis updated