Difference between revisions 86800 and 87408 on cawikisource

next diff >
MediaWiki:Gadget-CorrectorOCR.js
/*Barreja de diferents Mediawikis de Wikisource (ThomasV, Pathoschild, et al.)*/

function Fragment_Tipo(text) {
 var typo_def = new Array (
  "(  )", " ",
  "(— )", "—",
  "( —)", "—",
  "(- )", "-",
(contracted; show full)   go_button.setAttribute('onclick',"customgo();");
   go_button.setAttribute('title',"Vés!");
   go_button.setAttribute('value',"Vés!");
   formform.appendChild(go_button);
 }
}


function Fes_Prosa() {
 var editbox = document.getElementById('wpTextbox1');
 if (editbox) {
  var text = editbox.value;
  var new_text = '';
  var last_match = 0;
  // Dividir el text en paraules per a no aplicar canvis al propi codi html
  splitter = new RegExp("<math>.*</math>|<[a-zA-z0-9 =\"']>|[</[a-zA-z0-9 =\"']+>|style=\".*\"|&nbsp;|&mdash;|<!--.*-->|\n:[:]*|\n;[;]*|[[][[].*]]", "gm");
(contracted; show full) }
}
function add_Corr_button(){
 if (mw.config.get("wgNamespaceNumber") == 102) {
  addButton2("wpRep","Correccions automàtiques","Correcció automàtica", "//upload.wikimedia.org/wikipedia/commons/a/af/Button_Fractur_OCR.png", CreaFormulari);
 }
}
$(document).ready(add_Corr_button);