wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-18 02:40:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

i18n: Native digits on 'agent-other-display'

Browse source 
Change-Id: Idf6331b0c5656aea3d7a7af735be78981bdd8705
This commit is contained in:
Ebrahim Byagowi 2013-12-20 10:53:23 +00:00
parent da04b97148
commit 3a9f64ace3
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
formatters/BasicFormatter.php
View file

@ -831,11 +831,11 @@ class EchoBasicFormatter extends EchoNotificationFormatter {
if ( $this->bundleData['agent-other-count'] > $wgEchoMaxNotificationCount ) { if ( $this->bundleData['agent-other-count'] > $wgEchoMaxNotificationCount ) {
$message->params( $message->params(
$this->getMessage( 'echo-notification-count' ) $this->getMessage( 'echo-notification-count' )
->params( $wgEchoMaxNotificationCount ) ->numParams( $wgEchoMaxNotificationCount )
->text() ->text()
); );
} else { } else {
$message->params( $this->bundleData['agent-other-count'] ); $message->numParams( $this->bundleData['agent-other-count'] );
} }
// the number used for plural support // the number used for plural support
} elseif ( $param === 'agent-other-count' ) { } elseif ( $param === 'agent-other-count' ) {