A PHP extension for Redis - with Debian packaging - View it on GitHub