| Current Path : /var/www/html/mediawiki/maintenance/archives/ |
| Current File : /var/www/html/mediawiki/maintenance/archives/patch-user_properties-rename-index.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);