MediaWiki:Common.js: differenze tra le versioni

Versione delle 10:04, 14 apr 2009

Versione delle 18:21, 18 apr 2009

Riga 391:

/* Allarga l'edittools a tutta pagina */

document.getElementById("Standard").style.width = "100%";

}

})

/* Aggiunge il testo delle note come tooltip delle note stesse */

addOnloadHook ( function ()

{

sups = document.getElementsByTagName("sup");

for (i=0; i<sups.length; i++)

{

note_id = sups[i].childNodes[0].href;

if (note_id && (note_id.indexOf("#") != -1))

{

note_id = document.getElementById(note_id.substr(note_id.indexOf("#")+1));

if (note_id)

sups[i].title = note_id.textContent;

}

}

})