mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-09-24 10:48:17 +00:00
ddb57635be
Not sure why it wasn't used, maybe because it does a little more than the bare minimum we need here. Change-Id: I5e604474849d1389fc4cc260c76cf80e4e466bf5 |
||
---|---|---|
.. | ||
SpecialAbuseFilter.php | ||
SpecialAbuseLog.php |