-- This file is automatically generated using maintenance/generateSchemaSql.php.
-- Source: extensions/GlobalPreferences/sql/tables.json
-- Do not modify this file directly.
-- See https://www.mediawiki.org/wiki/Manual:Schema_changes
CREATE TABLE /*_*/global_preferences (
  gp_user INT UNSIGNED NOT NULL,
  gp_property VARBINARY(255) NOT NULL,
  gp_value BLOB DEFAULT NULL,
  INDEX global_preferences_property (gp_property),
  PRIMARY KEY(gp_user, gp_property)
) /*$wgDBTableOptions*/;