mediawiki-extensions-AbuseF.../modules
2019-08-20 16:33:16 +00:00
..
ve-abusefilter Distinguish AbuseFilter warnings and errors in VE 2019-08-01 04:59:18 +02:00
ext.abuseFilter.css Restyle edit box dimensions 2019-08-17 18:53:13 +02:00
ext.abuseFilter.edit.js Restyle edit box dimensions 2019-08-17 18:53:13 +02:00
ext.abuseFilter.examine.js Restyle edit box dimensions 2019-08-17 18:53:13 +02:00
ext.abuseFilter.tools.js Restyle edit box dimensions 2019-08-17 18:53:13 +02:00
mode-abusefilter.js build: Update npm dependencies 2019-07-31 17:29:00 +00:00
red_x.png Compress PNGs with zopflipng 2016-02-20 20:17:20 +00:00
yes_check.png Compress PNGs with zopflipng 2016-02-21 00:51:11 +00:00