Add Redis extension for PHP