wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 16:04:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Native digits on 'mw-echo-overlay-title-text'"

Browse source
This commit is contained in:
jenkins-bot 2013-10-13 20:06:09 +00:00 committed by Gerrit Code Review
parent c49e289614 88937d21c1
commit dd6caea6b4
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Echo.php
View file

@ -174,6 +174,7 @@ $wgResourceModules += array(
'dependencies' => array(
'ext.echo.desktop',
'mediawiki.util',
'mediawiki.language',
),
'messages' => array(
'echo-overlay-title',

6
modules/overlay/ext.echo.overlay.js
View file

@ -123,7 +123,11 @@
if ( notifications.index.length > 0 ) {
if ( unreadRawTotalCount > unread.length ) {
titleText = mw.msg( 'echo-overlay-title-overflow', unread.length, unreadTotalCount );
titleText = mw.msg(
'echo-overlay-title-overflow',
mw.language.convertNumber( unread.length ),
mw.language.convertNumber( unreadTotalCount )
);
overflow = true;
} else {
titleText = mw.msg( 'echo-overlay-title' );