Added Redis PHP extension