PHP extension for interfacing with Redis
