Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
/* 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>