Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

  • Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
  • Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
  • Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5.
// FUNZIONE BASE PER GLI SCRIPT DI IPORK
function inc(file) {
   document.write('<script type="text/javascript" src="/w/index.php?title='+ file +'&action=raw&ctype=text/javascript&dontcountme=s"></script>');
}
inc("Utente:IPork/controllo versioni.js");
var nomeutente= "Broc";

// MENU A TENDINE
inc("Utente:IPork/tendine.js");
inc("Utente:IPork/tendine_funzioni.js");
var opzAiuto =1;

function postOCR() {
	var editbox = document.getElementsByName('wpTextbox1')[0];
	editbox.value = editbox.value.replace(/'/g, '’')
	.replace(/’’’/g, '\'\'\'')
	.replace(/’’/g, '\'\'')
	.replace(/E’ /g, 'È ')
	.replace(/v’ /g, 'v’')
	.replace(/n’ /g, 'n’')
	.replace(/s’ /g, 's’')
	.replace(/t’ /g, 't’')
	.replace(/m’ /g, 'm’')
	.replace(/l’ /g, 'l’')
	.replace(/eh’ /g, 'ch’')
	.replace(/ alia /g, ' alla ')
	.replace(/ piu /g, ' più ')
	.replace(/ perche /g, ' perchè ')
	.replace(/lP/g, 'll’')
	.replace(/I’/g, 'l’')
	.replace(/1’/g, 'l’')
	.replace(/ :/g, ': ')
        .replace(/([dlznt])’ /g, "$1’")
        .replace(/[(\[] /g, " $1")
        .replace(/ \n/g, '\n')
	.replace(/-\n/g, '')
        .replace(/ ,/g, ", ")
        .replace(/ ;/g, "; ")
        .replace(/ !/g, "! ")
        .replace(/ \?/g, "? ")
        .replace(/ \./g, ". ")
        .replace(/ :/g, ": ")
        ;
}
function apostrofi() {
	var editbox = document.getElementsByName('wpTextbox1')[0];
	editbox.value = editbox.value.replace(/'/g, '’')
	.replace(/’’’/g, '\'\'\'')
	.replace(/’’/g, '\'\'')
	.replace(/E’ /g, 'È ')
 
        ;
}