Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  aef5864fb84248b3b8d655b083f33c8df450c5b8

adding a more appropriate user-agent

Bug: 58651
Change-Id: Ic4007507a7278be4d00228ced1e6d1e197faad27