mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 14:13:54 +00:00
bd84a6514c
This requires 1.42 for some new names Changes to the use statements done automatically via script Addition of missing use statements and changes to docs done manually Change-Id: Ic1e2c9a0c891382744e4792bba1effece48e53f3 |
||
---|---|---|
.. | ||
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 |