mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-14 17:55:00 +00:00
5e12102b6d
Avoid use of global user Change-Id: Ic30cfe705dfe39fca7dd45c6c2e1248dd37f08ff |
||
---|---|---|
.. | ||
AbuseFilterSpecialPage.php | ||
SpecialAbuseFilter.php | ||
SpecialAbuseLog.php |