wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-30 16:54:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../modules
History
TheSandDoctor 4a933e034f ext.abuseFilter.tools.js: Replace deprecated editToken with csrfToken 
The editToken key of mw.users.tokens is deprecated since MediaWiki 1.27.
This commit resolves it for AbuseFilter.

Bug: T233442
Change-Id: I445313088cef40caf0d0695a64515cd16e83504d
2019-09-22 01:54:34 +00:00
..
ve-abusefilter Actually return errors for action=edit API 2019-09-09 20:15:19 +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 ext.abuseFilter.tools.js: Replace deprecated editToken with csrfToken 2019-09-22 01:54:34 +00: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