MediaWiki:Gadget-stru-whois.js: differenze tra le versioni
(+descrizione, stile, match sul wgTitle anziché document.URL) |
m (una versione importata) |
||
(Nessuna differenza)
|
Versione attuale delle 22:39, 30 ago 2020
/**
* Aggiunge alla toolbar un link per il whois, solo se si sta visualizzando una
* pagina relativa a un IP.
*/
$( function() {
var userMatch = mw.config.get( 'wgTitle' ).match( /([0-9]+\.){3}[0-9]+/ );
if ( userMatch !== null ) {
var username = userMatch[ 0 ];
mw.util.addPortletLink( 'p-tb', 'http://whois.domaintools.com/' + username, 'Whois utente', 'Whois', '' );
}
} );