[Summary view] [Print] [Text view]

   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);