Updated mediawiki/extensions
Project: mediawiki/extensions/Widgets  99756d56de20124edc90e170ce56f157a2c2c264

Fixed security vulnerability, diagnosed in bug 39883 by Harald

Also improved some formatting, and removed unused code.

Change-Id: I19300e7987fb53aaef414d3a845e59435e6625cb