Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c3a0df801a7d85682b88b69a335ab79647332cd7

Using language aware comma and native digits on MobileDiff

Change-Id: I0408f95ab327db1b27132a5eb50c8b5d55f373c0