openwiki-mtmw/wikiroot/mediawiki-1.39.2/w/extensions/AbuseFilter/db_patches/mysql/patch-rename-filter_timestamp-index.sql

ALTER TABLE /*_*/abuse_filter_log DROP INDEX /*i*/filter_timestamp;
CREATE INDEX /*i*/afl_filter_timestamp ON /*$wgDBprefix*/abuse_filter_log (afl_filter,afl_timestamp);