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