wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-12-18 00:20:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Run filter number through formatNum()

Browse source 
Change-Id: If95bbae4af3d4c5a35ee02f1adadc4040ef36009
This commit is contained in:
raymond 2012-10-26 09:40:14 +02:00 committed by Marius Hoch
parent 0e9f6c0a5e
commit 3f1b73e5f4
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Views/AbuseFilterViewEdit.php
View file

@ -300,7 +300,7 @@ class AbuseFilterViewEdit extends AbuseFilterView {
$out->setSubtitle( $this->msg(
$filter === 'new' ? 'abusefilter-edit-subtitle-new' : 'abusefilter-edit-subtitle',
$filter, $history_id
$this->getLanguage()->formatNum( $filter ), $history_id
)->text() );
// Hide hidden filters.

2
special/SpecialAbuseFilter.php
View file

@ -24,7 +24,7 @@ class SpecialAbuseFilter extends SpecialPage {
$out->setSubtitle( $this->msg( 'abusefilter-edit-done-subtitle' ) );
$changedFilter = intval( $request->getVal( 'changedfilter' ) );
$out->wrapWikiMsg( '<p class="success">$1</p>',
array( 'abusefilter-edit-done', $changedFilter ) );
array( 'abusefilter-edit-done', $this->getLanguage()->formatNum( $changedFilter ) ) );
}
$this->mHistoryID = null;