interface DumpDeletedMessage Sent by the server when a dump is deleted, to every socket if it was public and to its poster's alone if it was private. It also goes to everyone but the poster when a public dump goes private. WSProvider drops it from every list. Properties type: "dump_deleted" dumpId: string