MediaWiki:Gadget-stru-whois.js
Questa pagina definisce alcuni parametri di aspetto e comportamento generale di tutte le pagine. Per personalizzarli vedi Aiuto:Stile utente.
Nota: dopo aver salvato è necessario pulire la cache del proprio browser per vedere i cambiamenti (per le pagine globali è comunque necessario attendere qualche minuto). Per Mozilla / Firefox / Safari: fare clic su Ricarica tenendo premuto il tasto delle maiuscole, oppure premere Ctrl-F5 o Ctrl-R (Command-R su Mac); per Chrome: premere Ctrl-Shift-R (Command-Shift-R su un Mac); per Konqueror: premere il pulsante Ricarica o il tasto F5; per Opera può essere necessario svuotare completamente la cache dal menù Strumenti → Preferenze; per Internet Explorer: mantenere premuto il tasto Ctrl mentre si preme il pulsante Aggiorna o premere Ctrl-F5.
/**
* Aggiunge alla toolbar un link per il whois, solo se si sta visualizzando una
* pagina relativa a un IP.
*/
$( function () {
var user = mw.config.get( 'wgRelevantUserName' );
if ( user && mw.util.isIPAddress( user ) ) {
mw.util.addPortletLink(
'p-tb',
'http://whois.domaintools.com/' + user,
'Whois utente',
'Whois',
''
);
}
} );