maintenance/archives/patch-external_user.sql

   1 CREATE TABLE /*_*/external_user (
   2   -- Foreign key to user_id
   3   eu_wiki_id int unsigned NOT NULL PRIMARY KEY,
   4
   5   -- Some opaque identifier provided by the external database
   6   eu_external_id varchar(255) binary NOT NULL
   7 ) /*$wgDBTableOptions*/;
   8
   9 CREATE UNIQUE INDEX /*i*/eu_external_id ON /*_*/external_user (eu_external_id);