A PHP extension for Redis - with Debian packaging