Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a284d05c8c96b7a3ea73e32e6b0d192a2a5e913f

WikiGrok interface for mobile

Iteration 1: binary occupation question

See:
https://www.mediawiki.org/wiki/Extension:MobileFrontend/WikiGrok

Change-Id: I016a736ecc5919ba92820e2d578ee0e9597181fe