0
modification
« MediaWiki:Gadget-AncreTitres.js » : différence entre les versions
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;
| |||