Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f4497aed860c575a9aabd0c7c1719fd4de1274ee

Hygiene: Fix use of deprecated function

Deprecated in: Icdcf5d5295ef5e7f08b1d403e0c123f78738fd40

Change-Id: Iaac69f4400c196620622eac50dea22182d5aba7f