i18n: Native digits on #wpLocalTime
authorEbrahim Byagowi <ebrahim@gnu.org>
Sat, 14 Dec 2013 18:07:11 +0000 (18:07 +0000)
committerReedy <reedy@wikimedia.org>
Sat, 25 Jan 2014 04:20:17 +0000 (04:20 +0000)
commit198ec331dde6940a60e530bbf6241206e1535cc8
tree94f11df10a63eba75b3f8bf7ce382dbfe4649480
parent7ed38c84878181c1ee9f5e395fa60bc0019ee28a
i18n: Native digits on #wpLocalTime

Change-Id: Ief3c4700247809e59dda30b9b224e3f9dfaa5e62
resources/Resources.php
resources/mediawiki.special/mediawiki.special.preferences.js