mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 22:15:26 +00:00
d138b2877c
So that users have no longer to modify the URL. Links like "Special:AbuseFilter/history/1" will still work but request parameters have higher priority. Bug: T27897 Change-Id: I2d8c26d3350fdd4052b68c7bced10e3fae859d18 |
||
---|---|---|
.. | ||
AbuseFilterView.php | ||
AbuseFilterViewDiff.php | ||
AbuseFilterViewEdit.php | ||
AbuseFilterViewExamine.php | ||
AbuseFilterViewHistory.php | ||
AbuseFilterViewImport.php | ||
AbuseFilterViewList.php | ||
AbuseFilterViewRevert.php | ||
AbuseFilterViewTestBatch.php | ||
AbuseFilterViewTools.php |