From 88937d21c15bf91f6a18da69f056c4599abe0ebc Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Mon, 7 Oct 2013 10:44:39 +0000
Subject: [PATCH] Native digits on 'mw-echo-overlay-title-text'

Change-Id: Icdd52ea0267ffbaa0e103070655735eff8423ca1
---
 Echo.php                            | 1 +
 modules/overlay/ext.echo.overlay.js | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/Echo.php b/Echo.php
index d4777f5ad..ced1f47d2 100644
--- a/Echo.php
+++ b/Echo.php
@@ -174,6 +174,7 @@ $wgResourceModules += array(
 		'dependencies' => array(
 			'ext.echo.desktop',
 			'mediawiki.util',
+			'mediawiki.language',
 		),
 		'messages' => array(
 			'echo-overlay-title',
diff --git a/modules/overlay/ext.echo.overlay.js b/modules/overlay/ext.echo.overlay.js
index 55ddda8fc..eaa6e2295 100644
--- a/modules/overlay/ext.echo.overlay.js
+++ b/modules/overlay/ext.echo.overlay.js
@@ -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' );