Utente:Salvatore Ingala/commandline.js: differenze tra le versioni

Versione delle 22:03, 13 mar 2007

Versione delle 23:27, 18 mar 2007

Riga 4:

/*

Commandline versione 2.12

Scritto da [[Utente:Salvatore Ingala]]; contiene alcuni spezzoni di codice di Timendum e Jalo.

Riga 190:

function cmdTrim(str){return str.replace(/^\s+|\s+$/, '');}

function cmdGetPageTitle(){ return wgPageName; }

return wgPageName;

}

//Funzioni di Timendum

Riga 332 ⟶ 330:

cmd['grep'] = [cmd_grep, 'Lascia solo le righe che soddisfano una certa RegExp'];

cmd['uniq'] = [cmd_uniq, 'Lascia solo la prima fra le righe che matchano allo stesso modo una certa RegExp'];

cmd['runscript'] = [cmd_runscript, 'Esegue uno script'];

cmd['unsafe'] = [cmd_unsafe, 'Richiede all\'utente di passare alla modalità unsafe.'];

//cmd['_rv'] = [cmd_restorevar, 'Rispristina il valore di una variabile. Per usi interni'];

cmdIsSafe = new Object();

Riga 473 ⟶ 469:

cmdline_next_argument--;

cmdSaveCmdLine();

___location.href = wgServer + "/w/index.php?title=" + encodeURIComponent(wgPageName) + "&action=edit";

return true;

}

Riga 579 ⟶ 575:

var wpTextbox1 = document.getElementById("wpTextbox1");

var prev = wpTextbox1.value;

for (i = 0; i < fixformat_list.length; i++){

try{

wpTextbox1.value = wpTextbox1.value.replace(fixformat_list[i][0], fixformat_list[i][1]);

} catch(e) { /* nothing */ }

}

cmdWEUpdateFrame();

Riga 599 ⟶ 598:

cmdWEUpdateTextarea();

try{

var wpTextbox1 = document.getElementById("wpTextbox1");

var wpTextbox1.value = wpTextbox1document.value.replacegetElementById(new RegExp(s, "gwpTextbox1"), r);

wpTextbox1.value = cmdParams['t'] ? wpTextbox1.value.replace(s, r) : wpTextbox1.value.replace(new RegExp(s, "g"), r);

} catch (e) { /* nothing */ }

cmdWEUpdateFrame();

Riga 884 ⟶ 885:

//Codice in comune per cmd_grep e cmd_uniq

function cmdPreparePageContent(text){

//Trasformiamo Allpages in una normale lista

return text.replace(/\n/g, "!ACCAPOOOOOO!") //TODO: così è brutto

res = text;

.replace(/<span[^>]*id="RC[^>]*>(.*?)<\/span>/gm, "$1")

if (wgPageName == 'Speciale:TutteLePagine')

.replace(/<div id="RC[^>]*>(.*?)<\/div>/gm, "$1")

res = res.replace(/<tr>|<\/tr>|/g, "").replace(/<atd>/g, href="javascript:toggleVisibility[^<li>]*").replace(/<\/td>/g, "</li>");

.replace(/><li/g, ">\n<li") //porta sempre a capo i <li>

var res = res.replace(/><img src=li/g, ">\n<img src=li") //eporta anchesempre lea immaginicapo i <li>

.replace(/!ACCAPOOOOOO!><img src=/g, ">\n<img src="); //e anche le immagini

return wgPageNameres;

}

Riga 1 183 ⟶ 1 186:

return;

}

__COMMANDLINE_LOADED = true;

/**** Command Line End ****/