Updated mediawiki/extensions
Project: mediawiki/extensions/Gadgets  fc31e94ac9176f481678a8df4459d495c56f09c5

HTTPS MediaWiki.org redirects to HTTP, so changing to WWW.

Change-Id: Iffbb3751753b211221728fa890e2c82e94f0150e