PHP Redis-interfaces Resources