i18n: Use native digits on 'difference-missing-revision'
authorEbrahim Byagowi <ebrahim@gnu.org>
Thu, 25 Sep 2014 12:34:41 +0000 (12:34 +0000)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 26 Sep 2014 19:53:59 +0000 (19:53 +0000)
commit36372030d40100b45fd7d868bae7b1ee6a35b859
treecf669888d2b838033d622363502a26da2caa4af2
parent8adb0a5ecc6b5f7f2f09fbfcb4326527f4bc5960
i18n: Use native digits on 'difference-missing-revision'

Change-Id: I19cd68562690c4ab8b077681d0f3d18d4286a5cd
includes/diff/DifferenceEngine.php
includes/page/Article.php