Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  552adef05d412633f2b58d6317ed8d8ecd0fe6ed

Hygiene: Merge wikigrokeval and wikigrok

It's confusing having both.

Change-Id: I6419cf6991c6c15f034b123367d41de3cf56f515