Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c73dd0d0e11039851331d0cb0a7e23dcffdc2a23

18n: native digits on 'pager-older-n'

Change-Id: Iafc05abcfae68baa144879dce77e11d5ebb481cc