maintenance/archives/patch-editings.sql

   1 --
   2 -- Tracks people currently editing an article
   3 -- Enabled with $wgAjaxShowEditors = true;
   4 --
   5
   6 CREATE TABLE /*$wgDBprefix*/editings (
   7   `editings_page` int(8) NOT NULL,
   8   `editings_user` varchar(255) NOT NULL,
   9   `editings_started` char(14) NOT NULL,
  10   `editings_touched` char(14) NOT NULL,
  11   PRIMARY KEY  (`editings_page`,`editings_user`),
  12   KEY `editings_page` (`editings_page`),
  13   KEY `editings_page_started` (`editings_page`,`editings_user`,`editings_started`)
  14 ) TYPE=InnoDB;