mediawiki-extensions-Echo/sql/mysql/patch-echo_push_subscription-rename-index-eps_user.sql

-- Rename index to match table prefix - T306473
DROP INDEX /*i*/echo_push_subscription_user_id ON /*_*/echo_push_subscription;
CREATE INDEX /*i*/eps_user ON /*_*/echo_push_subscription (eps_user);
schema: Run cleanup updates for echo_push_subscription separately The addition of the foreign key echo_push_subscription_ibfk_2 in 4abfbd3 did not affected already existing installs, because the updater part was missing. The addition of a foreign key also creates an index under mysql, which is also not part of older installs and needs to be created. Also the new field eps_topic from c188dac is missing and now added. The new index echo_push_subscription_token from 3513c64 is added. The drop patch set d35c502 assumes that the foreign key exists, now every step of the update is running separately to avoid one failing update to skip the remaing update steps. This avoid issues on wikis installed before REL1_35 and updated with the patches from REL1_36 Bug: T322143 Change-Id: I0759b82ad91849880c784e412e04dd53f26df6a2 2022-11-29 20:54:43 +00:00			`-- Rename index to match table prefix - T306473`
			`DROP INDEX /i/echo_push_subscription_user_id ON /_/echo_push_subscription;`
			`CREATE INDEX /i/eps_user ON /_/echo_push_subscription (eps_user);`