mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 06:03:49 +00:00
83794d7cb4
In 1.37, UserEditTracker was changed to allow anonymous users as well. Change-Id: I70d9e6db13416b7c017319ecac3e7e604aacd586 |
||
---|---|---|
.. | ||
Block.php | ||
BlockAutopromote.php | ||
BlockingConsequence.php | ||
Consequence.php | ||
ConsequencesDisablerConsequence.php | ||
Degroup.php | ||
Disallow.php | ||
HookAborterConsequence.php | ||
RangeBlock.php | ||
ReversibleConsequence.php | ||
Tag.php | ||
Throttle.php | ||
Warn.php |