wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-09-23 10:18:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../modules
History
jenkins-bot 8527a10774 Merge "Restyle edit box dimensions"
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