Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a4ad6515a2f3b950b6efd19d26e86121f8c8ffca

Hygiene: Add missing WikiGrok documentation

Bug: 72657
Change-Id: I595c5d56ed65e494ce9fdb6a99c48c14ba9b88fa