wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-09-25 11:16:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Views
History
Matěj Suchánek 020517dbe2 Completely disable Special:AbuseFilter/tools for non-maintaners 
As described in the task, anyone can view the page but do nothing
with it. It doesn't make sense, it should either work or be disabled.
I chose the latter.

Bug: T124096
Change-Id: I7271cd5a0d00d5fdba28ce3974c50ea5dfd0ad9b
2017-08-08 10:38:25 +02:00
..
AbuseFilterView.php Normalize file layout 2017-08-07 16:11:38 -07:00
AbuseFilterViewDiff.php Normalize file layout 2017-08-07 16:11:38 -07:00
AbuseFilterViewEdit.php Rm unused locals 2017-08-07 16:19:45 -07:00
AbuseFilterViewExamine.php Normalize file layout 2017-08-07 16:11:38 -07:00
AbuseFilterViewHistory.php Normalize file layout 2017-08-07 16:11:38 -07:00
AbuseFilterViewImport.php Normalize file layout 2017-08-07 16:11:38 -07:00
AbuseFilterViewList.php Normalize file layout 2017-08-07 16:11:38 -07:00
AbuseFilterViewRevert.php Fix class and function name case 2017-08-07 16:22:48 -07:00
AbuseFilterViewTestBatch.php Normalize file layout 2017-08-07 16:11:38 -07:00
AbuseFilterViewTools.php Completely disable Special:AbuseFilter/tools for non-maintaners 2017-08-08 10:38:25 +02:00