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

link = document.createElement('a');

link.setAttribute("ancre", wgServer + "/w/index.php?title=" + wgPageName + "#" + ancre_nom) ;

link.appendChild(small);

titre_courant.appendChild(link);

link = document.createElement('a');

link.setAttribute("ancre", "[[" + wgPageName + "#" + ancre_nom + "]]");

link.appendChild(small);

titre_courant.appendChild(link);