Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4bc2b1d864cd2f5f7bd1ddd103f58a222c013fbb

Hygiene: Removing version parameter from WikiGrokApi::recordClaims()

No longer needed. Both WikiGrok A and B are now using the same
API code for recording claims and the version switch has been
removed from the server-side API.

Change-Id: I9a157c9c9fc366d676087213086f317bad7109e7