Utente:Mau db/ocr var.js

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.

//<pre>
function salute(){
	var editbox = document.getElementsByName('wpTextbox1')[0];
	editbox.value = editbox.value.replace(/�\n/g, '')
        .replace(/___/g, '<center><hr style="width:4em"></center>') 
        .replace(/E'/g, 'È')
        .replace(/E’/g, 'È')
        .replace(/\ \ \n/g, '\n')
        .replace(/\ \n/g, '\n')
        .replace(/-\n/g, '')
        .replace(/\nr /g, '\nl’')
        .replace(/ r /g, 'l’')
        .replace(/\"_/g, '“')
.replace(/“ /g, '“')
.replace(/ „/g, '„')
.replace(/qn/g, 'qu')
.replace(/ coir /g, ' coll’')
.replace(/ ali’/g, ' all’')
.replace(/_t_/g, '{{Ns0||}}{{pt|{{Centrato|l=20em|}}\n\n\n}}\n')


        ;
}
//</pre>