Updated mediawiki/extensions
Project: mediawiki/extensions/Widgets  dcd8b2c70acda000a82189beba944beb449c8e32

New version: 1.0

Change-Id: I7b360373f0a0431fb884a9448860ad3c6949693b