mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 14:13:54 +00:00
32598c18bb
This PHP extension doesn't have any speed benefits over our minimum required PHP and so isn't used in WMF production anymore. Change-Id: I4883643908f765eee5db6b3ca88eed179264e93f |
||
---|---|---|
.. | ||
AbuseFilterCachingParser.php | ||
AbuseFilterParser.php | ||
AbuseFilterTokenizer.php | ||
AFPData.php | ||
AFPException.php | ||
AFPParserState.php | ||
AFPToken.php | ||
AFPTreeNode.php | ||
AFPTreeParser.php | ||
AFPUserVisibleException.php |