MediaWiki:Common.js: differenze tra le versioni

Versione delle 18:21, 18 apr 2009

Versione delle 19:35, 20 apr 2009

Riga 405:

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

if (note_id)

sups[i]if (document.titleall) = note_id.textContent;

{

sups[i].title = note_id.innerText;

sups[i].childNodes[0].title = note_id.innerText;

}

else

{

sups[i].title = note_id.textContent;

}

}

}