import Page from './common/Page'; import User from './common/User'; import Comment from './common/Comment'; import { MediaWikiEvent } from './EventStream'; /** Represents a MW Page Delete event. */ export default interface MediaWikiPageDeleteEvent extends MediaWikiEvent, Page, Comment { /** Represents the user that performed this change. */ performer?: User; /** Chronology Protector client ID. */ chronology_id?: string; /** The head revision of the page at the time of this event. */ rev_id: number; /** * The number of revisions of this page at the time of this event. * During a delete, this number of revisions will be archived. */ rev_count: number; } /** * * @param object */ export declare function isMediaWikiPageDeleteEvent(object: any): object is MediaWikiPageDeleteEvent;