Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9f708640a21c35abbbfe4defddea99e1830bfc9c

Hygiene: Just some comment fixes and additions to WikiGrokResponseApi

Change-Id: I2d814e37f012d29b14a8372a760f1a8d8ca7dd32