wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-09-25 03:08:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/special
History
Daimona Eaytoy 6e42340af9 Add userLinks in private details page 
The IP is currently displayed as plain text. Add instead userLinks in
the usual way to provide some handy links for CUs.

Bug: T188600
Change-Id: I47ee007f450f06a1a19b4c7598373a952efbe06a
2018-03-05 11:52:41 +01:00
..
SpecialAbuseFilter.php Add missing documentation for protected functions 2017-11-02 03:20:34 +00:00
SpecialAbuseLog.php Add userLinks in private details page 2018-03-05 11:52:41 +01:00