maintenance/archives/patch-user_properties.sql

   1 --
   2 -- User preferences and perhaps other fun stuff. :)
   3 -- Replaces the old user.user_options blob, with a couple nice properties:
   4 --
   5 -- 1) We only store non-default settings, so changes to the defauls
   6 --    are now reflected for everybody, not just new accounts.
   7 -- 2) We can more easily do bulk lookups, statistics, or modifications of
   8 --    saved options since it's a sane table structure.
   9 --
  10 CREATE TABLE /*_*/user_properties(
  11   -- Foreign key to user.user_id
  12   up_user int not null,
  13
  14   -- Name of the option being saved. This is indexed for bulk lookup.
  15   up_property varbinary(32) not null,
  16
  17   -- Property value as a string.
  18   up_value blob
  19 ) /*$wgDBTableOptions*/;
  20
  21 CREATE UNIQUE INDEX /*i*/user_properties_user_property on /*_*/user_properties (up_user,up_property);
  22 CREATE INDEX /*i*/user_properties_property on /*_*/user_properties (up_property);