Difference between revisions 87410 and 87413 on cawikisource

/*Barreja de diferents Mediawikis de Wikisource (ThomasV, Pathoschild, et al.)*/

function Fragment_Tipo(text) {
 var typo_def = new Array (
  "(  )", " ",
  "(— )", "—",
  "( —)", "—",
  "(- )", "-",
(contracted; show full)
  splitter = new RegExp("<math>.*</math>|<[a-zA-z0-9 =\"']>|[</[a-zA-z0-9 =\"']+>|style=\".*\"|&nbsp;|&mdash;|<!--.*-->|\n:[:]*|\n;[;]*|[[][[].*]]", "gm");
  while ((result = splitter.exec(text)) != null) {
   new_text += Fragment_Prosa(text.slice(last_match, splitter.lastIndex - result[0].length));
   new_text += result;
   last_match = splitter.lastIndex;
  }
 new_text += Fragment_Prosa(text.slice(last_match))
;
 editbox.value = new_text;
 }
}

function customgo() {
 var msearch = document.getElementById('formsearch').value;
 msearch = msearch.replace(/\\n/g, '\n');
(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);