From 198ec331dde6940a60e530bbf6241206e1535cc8 Mon Sep 17 00:00:00 2001 From: Ebrahim Byagowi Date: Sat, 14 Dec 2013 18:07:11 +0000 Subject: [PATCH] i18n: Native digits on #wpLocalTime Change-Id: Ief3c4700247809e59dda30b9b224e3f9dfaa5e62 --- resources/Resources.php | 3 +++ resources/mediawiki.special/mediawiki.special.preferences.js | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/resources/Resources.php b/resources/Resources.php index 2f8f662621..cd8e9bd218 100644 --- 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 19a8844e30..384206422e 100644 --- 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 ) { -- 2.20.1