Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  801eeb5c2802867833b768dd9969d683f0b6c04f

Remove unneeded isArticleRelated

Followed up: I3278b323b953bdd60f455be576adfe6fbc39d823

Change-Id: I8624f17e0ef1388d5e3414dfce30f327833adbe0