A PHP extension for Redis