MediaWiki:Gadget-nav-bot.js

Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
Opera: premi Ctrl-F5.

jQuery(document).ready(function(){
    if(nomeBot)
        mw.util.addPortletLink('p-navigation', '/wiki/Utente:' + mw.util.wikiUrlencode(nomeBot), mw.html.escape(nomeBot), 'nav-bot', mw.html.escape(nomeBot));
});