mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 14:13:54 +00:00
0b956a0d07
This also changes the previous behavior - users who lost their rights between opening and saving a filter now also get the message. Additionally, User::matchEditToken() now doesn't use the global $wgRequest. Bug: T142389 Change-Id: I931068ff79a6835ad6e63a12ce9dbfcc1cb6c8b9 |
||
---|---|---|
.. | ||
AbuseFilterView.php | ||
AbuseFilterViewDiff.php | ||
AbuseFilterViewEdit.php | ||
AbuseFilterViewExamine.php | ||
AbuseFilterViewHistory.php | ||
AbuseFilterViewImport.php | ||
AbuseFilterViewList.php | ||
AbuseFilterViewRevert.php | ||
AbuseFilterViewTestBatch.php | ||
AbuseFilterViewTools.php |