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

Aller à la navigation Aller à la recherche
voilà [avec un éditeur externe]
(un peu plus clair [avec un éditeur externe])
(voilà [avec un éditeur externe])
i++;
if (titre_courant.className.match(/mw-headline/g)) {
var ancre_nom = noeud_precedent(titre_courant.parentNode).lastChild.name);
var small = document.createElement('small'); with(small) {
innerHTML=AncreTitres_nom_ancre;
0

modification

Menu de navigation