mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 22:15:26 +00:00
020f8a09b4
On second thought, no need to keep the migration script now, since it's unusable anyway. Also remove an usage in SpecialAbuseLog, likely a rebase artefact. Change-Id: I938924b3617ef30046d8317e68a101ed2c1883d3 |
||
---|---|---|
.. | ||
AbuseFilterSpecialPage.php | ||
SpecialAbuseFilter.php | ||
SpecialAbuseLog.php |