PHP: Redis extension update.