MediaWiki:Common.js: differenze tra le versioni

Versione delle 09:09, 11 set 2012

Versione delle 20:40, 5 gen 2013

Riga 838:

//REFERENCE TOOLTIP

importScriptURI("/w/index.php?title=Wikipedia:Monobook.js/ReferenceTooltip.js&action=raw&ctype=text/javascript&dontcountme=s");

/*

* Redirect bad mirrors to it.wikipedia.org

* [[m:User:Hoo man]]

*/

( function( mw ) {

var i, isBad,

badMirrors = [

'wikipedia.sapere.alice.it',

'wikipedia.deejay.it',

];

for( i = 0; i < badMirrors.length; i++ ) {

if ( document.___location.href.indexOf( badMirrors[ i ] ) !== -1 ) {

isBad = true;

break;

}

}

if ( isBad ) {

// redirect users to the same page on itwiki

document.___location.href = '//it.wikipedia.org/wiki/' + mw.config.get( 'wgPageName' );

/*

// redirect users to a landing page

document.___location.href = '//it.wikipedia.org/wiki/FooBar';

*/

}

} )( mediaWiki );