WikiGrok interface for mobile

Iteration 1: binary occupation question

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

Change-Id: I016a736ecc5919ba92820e2d578ee0e9597181fe
Merge "WikiGrok interface for mobile"