mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-25 06:26:03 +00:00
fa76405ea7
This has always been wrong, and remained unnoticed. Also added a typehint for added safety. Change-Id: I8a3c31e7385283d95b4712d457784016239a0b3b |
||
---|---|---|
.. | ||
AbuseFilterCachingParser.php | ||
AbuseFilterParser.php | ||
AbuseFilterTokenizer.php | ||
AFPData.php | ||
AFPException.php | ||
AFPParserState.php | ||
AFPToken.php | ||
AFPTreeNode.php | ||
AFPTreeParser.php | ||
AFPUserVisibleException.php |