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

Format filter IDs as numbers

Browse source 
Follows up I2bd833c35.

Change-Id: I3f2241fe791e9918750ef06805f9c4e5d52ee3b4
This commit is contained in:
Matěj Suchánek 2017-11-11 12:38:12 +01:00
parent 3b3a37bd4a
commit 957598261c
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Views/AbuseFilterViewHistory.php
View file

@ -11,7 +11,7 @@ class AbuseFilterViewHistory extends AbuseFilterView {
$filter = $this->mFilter;
if ( $filter ) {
$out->setPageTitle( $this->msg( 'abusefilter-history', $filter ) );
$out->setPageTitle( $this->msg( 'abusefilter-history' )->numParams( $filter ) );
} else {
$out->setPageTitle( $this->msg( 'abusefilter-filter-log' ) );
}

4
includes/Views/AbuseFilterViewRevert.php
View file

@ -20,8 +20,8 @@ class AbuseFilterViewRevert extends AbuseFilterView {
return;
}
$out->addWikiMsg( 'abusefilter-revert-intro', $filter );
$out->setPageTitle( $this->msg( 'abusefilter-revert-title', $filter ) );
$out->addWikiMsg( 'abusefilter-revert-intro', Message::numParam( $filter ) );
$out->setPageTitle( $this->msg( 'abusefilter-revert-title' )->numParams( $filter ) );
// First, the search form.
$searchFields = [];