Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: press Ctrl-F5, Mozilla: hold down Shift while clicking Reload (or press Ctrl-Shift-R), Opera/Konqueror: press F5, Safari: hold down Shift + Alt while clicking Reload, Chrome: hold down Shift while clicking Reload.
/* THIS IS NOT A GADGET * I’m not sure where this page came from, but as of 2020-07-08, * it’s not in the gagdet definitions, * it doesn’t seem to have been mentioned in the gadget definitions’ history / edit summaries either, * nor does it seem to be referenced in other MediaWiki: or User: pages. * --Lucas Werkmeister 19:56, 8 July 2020 (UTC) */if(skin!=="vector"){// Time to upgrade to a REAL skin}else{if(mw.config.get('wgNamespaceNumber')==6){//We want this on images only.importScript('MediaWiki:Tag.js');}}