i18n: Native digits on #wpLocalTime

Change-Id: Ief3c4700247809e59dda30b9b224e3f9dfaa5e62

diff --git a/resources/Resources.php b/resources/Resources.php
index 2f8f662..cd8e9bd 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1110,6 +1110,9 @@ return array(
                'messages' => array(
                        'prefs-tabs-navigation-hint',
                ),
+               'dependencies' => array(
+                       'mediawiki.language',
+               ),
        ),
        'mediawiki.special.recentchanges' => array(
                'scripts' => 'resources/mediawiki.special/mediawiki.special.recentchanges.js',

diff --git a/resources/mediawiki.special/mediawiki.special.preferences.js b/resources/mediawiki.special/mediawiki.special.preferences.js
index 19a8844..3842064 100644 (file)
--- a/resources/mediawiki.special/mediawiki.special.preferences.js
+++ b/resources/mediawiki.special/mediawiki.special.preferences.js
@@ -229,7 +229,7 @@ jQuery( function ( $ ) {
                while ( localTime >= 1440 ) {
                        localTime -= 1440;
                }
-               $localtimeHolder.text( minutesToHours( localTime ) );
+               $localtimeHolder.text( mediaWiki.language.convertNumber( minutesToHours( localTime ) ) );
        }
 
        if ( $tzSelect.length && $tzTextbox.length ) {