Note : après avoir enregistré la page, vous devrez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

Mozilla / Firefox / Konqueror / Safari : maintenez la touche Majuscule (Shift) en cliquant sur le bouton Actualiser (Reload) ou pressez Maj-Ctrl-R (Cmd-R sur Apple Mac) ;

Firefox (sur GNU/Linux) / Chrome / Internet Explorer / Opera : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5.
//Renommage Catégorie
//-------------------
obtenir('RenommageCategorie');


//syntax highlighter
//------------------
mw.loader.load('//www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript');
 
syntaxHighlighterConfig = {
    timeout: 80, //disable highlighting if it takes more than 160ms >>> remplacé par 80 car parfois cela traine...
    wikilinkColor:"#C9F0FF", //cyan?
    externalLinkColor:"#BBFFBB"
};