mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-12-04 18:38:25 +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 |
||
---|---|---|
.. | ||
Consequence | ||
ConsequenceNotPrecheckedException.php | ||
ConsequencesExecutor.php | ||
ConsequencesExecutorFactory.php | ||
ConsequencesFactory.php | ||
ConsequencesLookup.php | ||
ConsequencesRegistry.php | ||
Parameters.php |