mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-27 15:30:42 +00:00
c3af3157b4
Changes to the use statements done automatically via script Addition of missing use statement done manually Change-Id: I48fcc02c61d423c9c5111ae545634fdc5c5cc710 |
||
---|---|---|
.. | ||
ConditionLimitException.php | ||
ExceptionBase.php | ||
InternalException.php | ||
UserVisibleException.php | ||
UserVisibleWarning.php |