]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blob - maintenance/archives/patch-user_groups.sql
MediaWiki 1.14.0-scripts
[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-user_groups.sql
1 --
2 -- User permissions have been broken out to a separate table;
3 -- this allows sites with a shared user table to have different
4 -- permissions assigned to a user in each project.
5 --
6 -- This table replaces the old user_rights field which used a
7 -- comma-separated blob.
8 --
9 CREATE TABLE /*$wgDBprefix*/user_groups (
10   -- Key to user_id
11   ug_user int unsigned NOT NULL default '0',
12   
13   -- Group names are short symbolic string keys.
14   -- The set of group names is open-ended, though in practice
15   -- only some predefined ones are likely to be used.
16   --
17   -- At runtime $wgGroupPermissions will associate group keys
18   -- with particular permissions. A user will have the combined
19   -- permissions of any group they're explicitly in, plus
20   -- the implicit '*' and 'user' groups.
21   ug_group varbinary(16) NOT NULL default '',
22   
23   PRIMARY KEY (ug_user,ug_group),
24   KEY (ug_group)
25 ) /*$wgDBTableOptions*/;