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.
mw.log.warn( 'You installed the userscript [[User:Ais523/adminrights.js]]\n'
	  'It has been deprecated and replaced with [[User:Amalthea/userhighlighter.js]]' );
importScript('User:Amalthea/userhighlighter.js');