mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/SpamBlacklist
synced 2024-11-24 07:04:04 +00:00
25e4813363
This parameter is not used anyway. It's possible it is null, as demonstrated in Id2caa44. Because this code does not need it anyway, it should not do any harm to remove this type hint. Change-Id: Id107501e6d62e567354c90e5d3aeec47dbf57298 |
||
---|---|---|
.. | ||
ApiSpamBlacklist.php | ||
BaseBlacklist.php | ||
EmailBlacklist.php | ||
SpamBlacklist.php | ||
SpamBlacklistHooks.php | ||
SpamBlacklistLogFormatter.php | ||
SpamBlacklistPreAuthenticationProvider.php | ||
SpamRegexBatch.php |