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

MediaWiki:Common.js (voir la source)

9 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'));
+		link.appendChild(document.createTextNode('retour en haut')).style.fontWeight = 'bold';
-		span.appendChild(document.createTextNode('<strong>[</strong>'));
+		span.appendChild(document.createTextNode('['));
 		span.appendChild(link);
 		span.appendChild(document.createTextNode('] '));