Custom version of mediawiki extension Gadgets