« MediaWiki:Common.js » : différence entre les versions

Aucun changement de taille ,  23 août 2020
m
aucun résumé des modifications
mAucun résumé des modifications
mAucun résumé des modifications
Ligne 7 : Ligne 7 :
link.href = '#top';
link.href = '#top';
link.style.fontWeight = 'bold';
link.style.fontWeight = 'bold';
link.appendChild(document.createTextNode('retour en haut')).style.fontWeight = 'bold';
link.appendChild(document.createTextNode('retour en haut').style.fontWeight = 'bold');
span.appendChild(document.createTextNode('['));
span.appendChild(document.createTextNode('['));
span.appendChild(link);
span.appendChild(link);
9 367

modifications