/* jshint esversion: 5, laxbreak: true, undef: true, maxerr: 999*/
/* globals window, $, mw */
// <nowiki>
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");
// </nowiki>