-- 
-- SQL for EditWarning Extension
-- 
-- Table for storing currently edited pages
--
CREATE TABLE /*$wgDBprefix*/current_edits (
  -- Unique ID for edits
  id INTEGER UNSIGNED NOT NULL PRIMARY KEY AUTO_INCREMENT,
  -- Page that's being edited
  page_id INTEGER UNSIGNED NOT NULL,
  -- ID of editing user
  user_id INTEGER UNSIGNED NOT NULL,
  -- Name of editing user 
  user_name VARCHAR(255) NOT NULL default '',
  -- Timestamp of edit
  timestamp INTEGER UNSIGNED NOT NULL
) /*$wgDBTableOptions*/;
