interface DumpUpdatedMessage Sent by the server when a dump changes, to every socket if it is public and to its poster's alone if it is private, as when it has just gone private. WSProvider refreshes it in place, without moving it up the feeds. Properties type: "dump_updated" dump: Dump