wiki.techinc.nl/maintenance/archives/patch-user_properties-rename-index.sql
Ammar Abdulhamid 58dee4465c Rename user_properties index
Use uniform prefix with the column names

Bug: T270033
Change-Id: I9ee1f8ac9a8d0e575e16344910495f341c2714db
2020-12-15 04:37:08 +01:00

6 lines
No EOL
396 B
SQL

-- This file is automatically generated using maintenance/generateSchemaChangeSql.php.
-- Source: maintenance/abstractSchemaChanges/patch-user_properties-rename-index.json
-- Do not modify this file directly.
-- See https://www.mediawiki.org/wiki/Manual:Schema_changes
DROP INDEX user_properties_property ON /*_*/user_properties;
CREATE INDEX up_property ON /*_*/user_properties (up_property);