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");

//