added php-redis extension