mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
3 lines
167 B
MySQL
3 lines
167 B
MySQL
|
CREATE INDEX /*i*/echo_user_timestamp ON /*_*/echo_notification (notification_user, notification_timestamp);
|
||
|
DROP INDEX /*i*/user_timestamp ON /*_*/echo_notification;
|