Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  6be87ddb696d1dbd3cb334dc0a94b94caa01bef2

Add margin to WikiGrok spinner for even padding around

Bug: 72286
Change-Id: Id508741125137392e28af1ab421122c41242fab7