mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 06:03:49 +00:00
b6ff5663ab
without it, you get redirected to the main page (index.php) when $wgUsePathInfo = false; as no title-parameter is given. also don't rely on __tostring. Change-Id: I6b97d61c58b196c95836036219201cff8e2e0657 |
||
---|---|---|
.. | ||
SpecialAbuseFilter.php | ||
SpecialAbuseLog.php |