maintenance/archives/patch-user_rights.sql

   1 -- Split user table into two parts:
   2 --   user
   3 --   user_rights
   4 -- The later contains only the permissions of the user. This way,
   5 -- you can store the accounts for several wikis in one central
   6 -- database but keep user rights local to the wiki.
   7
   8 CREATE TABLE /*$wgDBprefix*/user_rights (
   9   -- Key to user_id
  10   ur_user int(5) unsigned NOT NULL,
  11
  12   -- Comma-separated list of permission keys
  13   ur_rights tinyblob NOT NULL default '',
  14
  15   UNIQUE KEY ur_user (ur_user)
  16
  17 ) TYPE=InnoDB;
  18
  19 INSERT INTO /*$wgDBprefix*/user_rights SELECT user_id,user_rights FROM /*$wgDBprefix*/user;
  20
  21 ALTER TABLE /*$wgDBprefix*/user DROP COLUMN user_rights;