wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-24 14:13:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove void unset statement

Browse source 
The key isn't set in the above declaration.

Change-Id: If256acc85913fca10062d00e46092e298b6553f7
This commit is contained in:
Matěj Suchánek 2020-10-01 15:01:06 +02:00
parent edb1c5289a
commit ce41ddb85b
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/pagers/AbuseFilterHistoryPager.php
View file

@ -54,7 +54,6 @@ class AbuseFilterHistoryPager extends TablePager {
if ( !$this->mFilter ) {
// awful hack
$headers = [ 'afh_filter' => 'abusefilter-history-filterid' ] + $headers;
unset( $headers['afh_comments'] );
}
foreach ( $headers as &$msg ) {