Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  3a9f64ace3382daf4d2aaa9d44894009996b64d0

i18n: Native digits on 'agent-other-display'

Change-Id: Idf6331b0c5656aea3d7a7af735be78981bdd8705