blob: 00df750580ce493d3a349eff90e4dc50d124183d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
-- This file is automatically generated using maintenance/generateSchemaChangeSql.php.
-- Source: sql/abstractSchemaChanges/patch-user_properties-rename-index.json
-- Do not modify this file directly.
-- See https://www.mediawiki.org/wiki/Manual:Schema_changes
CREATE TEMPORARY TABLE /*_*/__temp__user_properties AS
SELECT
up_user,
up_property,
up_value
FROM /*_*/user_properties;
DROP TABLE /*_*/user_properties;
CREATE TABLE /*_*/user_properties (
up_user INTEGER UNSIGNED NOT NULL,
up_property BLOB NOT NULL,
up_value BLOB DEFAULT NULL,
PRIMARY KEY(up_user, up_property)
);
INSERT INTO /*_*/user_properties (up_user, up_property, up_value)
SELECT
up_user,
up_property,
up_value
FROM
/*_*/__temp__user_properties;
DROP TABLE /*_*/__temp__user_properties;
CREATE INDEX up_property ON /*_*/user_properties (up_property);
|