mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-14 09:44:44 +00:00
83794d7cb4
In 1.37, UserEditTracker was changed to allow anonymous users as well. Change-Id: I70d9e6db13416b7c017319ecac3e7e604aacd586 |
||
---|---|---|
.. | ||
Consequence | ||
ConsequenceNotPrecheckedException.php | ||
ConsequencesExecutor.php | ||
ConsequencesExecutorFactory.php | ||
ConsequencesFactory.php | ||
ConsequencesLookup.php | ||
ConsequencesRegistry.php | ||
Parameters.php |