Updated mediawiki/extensions
Project: mediawiki/extensions/WikiGrok  80ef38344fdb480dcf035a9f92178c3a06c5dc26

@group WikiGrok

Change-Id: I407cd9b932af38d1e40099210a5c0e754d3981ad