Whitespace fixup
[mediawiki.git] / maintenance / archives / patch-user_rights.sql
blobb99e2292fa2cc3b2c320d842d0812e375dea4414
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.
8 CREATE TABLE user_rights (
9         ur_user int(5) unsigned NOT NULL,
10         ur_rights tinyblob NOT NULL default '',
11         UNIQUE KEY ur_user (ur_user)
12 ) PACK_KEYS=1;
14 INSERT INTO user_rights SELECT user_id,user_rights FROM user;
16 ALTER TABLE user DROP COLUMN user_rights;