User:Evad37/extra.js

/* jshint esversion: 5, laxbreak: true, undef: true, maxerr: 999*/ /* globals window, $, mw */ // console.warn(	'The userscript "User:Evad37/extra.js" is deprecated. Please use the '+	'gadget "libExtraUtil" instead. This gadget can be loaded with '+	'ResourceLoader by adding "ext.gadget.libExtraUtil" to the array of '+	'modules loaded by `mw.loader.using`.' ); mw.loader.load("ext.gadget.libExtraUtil"); //