Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  7be77de0dd7e5914ba487f17db1134daccc6ef05

Adjust button sizes in WikiGrok

Change-Id: I71b5607ce327dcfdaeb5f91f31d6f6c6d136971b