MediaWiki:Gadget-WikEd.js

Versione del 12 nov 2018 alle 02:35 di Sakretsu (discussione | contributi) (messaggio di errore)

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.

if (window.wikEdConfig === undefined) {
    window.wikEdConfig = { 'doCloneWarnings': false };
} else {
    window.wikEdConfig.doCloneWarnings = false;
}

// carica il wiked se non è attiva l'evidenziazione della sintassi
if ( mw.user.options.get( 'usecodemirror' ) != 1 ) {
	importScriptURI('//en.wikipedia.org/w/index.php?title=User:Cacycle/wikEd.js&action=raw&ctype=text/javascript');
} else {
	// messaggio di errore
	var $a = $( '<a>' )
		.attr( 'href', '/wiki/Aiuto:Barra_degli_strumenti_di_modifica#sintassi' )
		.text( 'evidenziazione della sintassi' );
	var $div = $( '<div>' )
		.css( { 'color': 'red', 'text-align': 'center' })
		.html([ 'Disattiva l\'', $a, ' per far funzionare wikEd.' ])
		.insertBefore('#siteNotice');
}