Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  ecfb93d78fbf5fcd59acdb88b5b1dff48381ba50

Push wikigrok a to beta

Change-Id: I8173d133a21f46b528991c0312fc2667687bbd63