Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  af7ea9928371a451505f53dcfd22e3abceab1041

article -> page

Inspired by comments on
https://gerrit.wikimedia.org/r/#/c/95318/4/MobileFrontend.i18n.php

Change-Id: I80895b461ee272f1a6ff54199752553426eae956