mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-28 07:50:24 +00:00
8639e0c368
In particular, this brings stronger typing for getID(), and we can get rid of many phan suppressions. Change-Id: Icbf3a6f7db8105082646ec227f62c09449fb165d |
||
---|---|---|
.. | ||
Consequence | ||
ConsequenceNotPrecheckedException.php | ||
ConsequencesExecutor.php | ||
ConsequencesExecutorFactory.php | ||
ConsequencesFactory.php | ||
ConsequencesLookup.php | ||
ConsequencesRegistry.php | ||
Parameters.php |