MediaWiki:Common.js: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 29:
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/FooBarWikipedia:Live_mirror';
*/
}
} )( mediaWiki );