mediawiki-extensions-Echo/db_patches/patch-alter-user_timestamp-index.sql

CREATE INDEX /*i*/echo_user_timestamp ON /*_*/echo_notification (notification_user, notification_timestamp);
DROP INDEX /*i*/user_timestamp ON /*_*/echo_notification;
Rename index for sqlite support SQLite requires unique index names across the full database. A previous patch I9b6468221ba6fe501b15c563f3301694262eec65 renamed the index in echo.sql but forgot to apply the same change to existing databases. This resolves that mistake. Change-Id: Ibb629149afd9f4ca55cac613124fce42500aa8f9 2013-06-14 20:14:21 +00:00			`CREATE INDEX /i/echo_user_timestamp ON /_/echo_notification (notification_user, notification_timestamp);`
			`DROP INDEX /i/user_timestamp ON /_/echo_notification;`