A PHP/Redis queue system based on Resque and PHP-Resque