« MediaWiki:Gadget-AncreTitres.js » : différence entre les versions

m
aucun résumé de modification
mAucun résumé des modifications
mAucun résumé des modifications
if (AncreTitres_afficheE) titre_courant.parentNode.appendChild(link);
small = document.createElement('small'); with(small) {
innerHTML=AncreTitres_lien_interneAncreTitres_nom_lien_interne;
title=AncreTitres_descinterne;
style.color=AncreTitres_linkcolor;
0

modification