Custom version of mediawiki extension Widgets