wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-09-24 02:38:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't even mention $wgTitle in comments

Browse source 
Change-Id: I28c8c4cb31e7beafcc3bca2620c3e65d8853ad51
This commit is contained in:
Chad Horohoe 2014-01-22 20:46:49 -08:00
parent d0f435a953
commit f38a00336d
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Views/AbuseFilterViewHistory.php
View file

@ -251,8 +251,7 @@ class AbuseFilterHistoryPager extends TablePager {
}
/**
* Title used for self-links. Override this if you want to be able to
* use a title other than $wgTitle
* Title used for self-links.
*
* @return Title
*/