wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-27 23:40:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix PHP warning for users who cannot view filter details

Browse source
This commit is contained in:
Andrew Garrett 2009-08-04 17:56:18 +00:00
parent bba9474c3e
commit f571050c72
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
SpecialAbuseLog.php
View file

@ -61,6 +61,7 @@ class SpecialAbuseLog extends SpecialPage {
}
$this->mSearchTitle = $wgRequest->getText( 'wpSearchTitle' );
$this->mSearchFilter = null;
if ( $this->canSeeDetails() ) {
$this->mSearchFilter = $wgRequest->getIntOrNull( 'wpSearchFilter' );
}