2 -- Add rev_deleted flag to revision table.
3 -- Deleted revisions can thus continue to be listed in history
4 -- and user contributions, and their text storage doesn't have
10 ALTER TABLE /*$wgDBprefix*/revision
11 ADD rev_deleted tinyint unsigned NOT NULL default '0';