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

MediaWiki:Common.js (voir la source)

8 octets ajoutés , 23 août 2020

m

aucun résumé des modifications

9 367

modifications

@@ Ligne 7 : / Ligne 7 : @@
 		link.href = '#top';
 		link.style.fontWeight = 'bold';
-		link.appendChild(document.createTextNode('retour en haut').style.fontWeight = 'bold');
+		link.appendChild(document.createTextNode('retour en haut'));
 		span.appendChild(document.createTextNode('['));
 		span.appendChild(link);
 		span.appendChild(document.createTextNode('] '));
+		span.style.fontWeight = 'bold';
 		elems[i].insertBefore(span, elems[i].firstChild);
 	}
 });