https://github.com/wikimedia/mediawiki-extensions-AbuseFilter/blob/master/modules/ext.abuseFilter.edit.js#L299-L305
has this:
$( '#mw-abusefilter-export-link' ).toggle(
function() {
$exportBox.show();
}, function() {
$exportBox.hide();
}
);
Version: unspecified
Severity: normal
URL: https://pt.wikipedia.org/wiki/Especial:Filtro_de_abusos/tools?debug=1