diff options
Diffstat (limited to 'maintenance/archives/patch-external_user.sql')
-rw-r--r-- | maintenance/archives/patch-external_user.sql | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/maintenance/archives/patch-external_user.sql b/maintenance/archives/patch-external_user.sql new file mode 100644 index 000000000000..db8ffc6ca59f --- /dev/null +++ b/maintenance/archives/patch-external_user.sql @@ -0,0 +1,9 @@ +CREATE TABLE /*_*/external_user ( + -- Foreign key to user_id + eu_wiki_id int unsigned NOT NULL PRIMARY KEY, + + -- Some opaque identifier provided by the external database + eu_external_id varchar(255) binary NOT NULL +) /*$wgDBTableOptions*/; + +CREATE UNIQUE INDEX /*i*/eu_external_id ON /*_*/external_user (eu_external_id); |