maintenance/archives/patch-rename-user_groups-and_rights.sql

   1
   2 ALTER TABLE /*$wgDBprefix*/user_groups
   3         CHANGE user_id ug_user INT(5) UNSIGNED NOT NULL DEFAULT '0',
   4         CHANGE group_id ug_group INT(5) UNSIGNED NOT NULL DEFAULT '0';
   5
   6 ALTER TABLE /*$wgDBprefix*/user_rights
   7         CHANGE user_id ur_user INT(5) UNSIGNED NOT NULL,
   8         CHANGE user_rights ur_rights TINYBLOB NOT NULL;
   9