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

MediaWiki:Common.js (voir la source)

1 octet enlevé , 23 août 2020

m

aucun résumé des modifications

9 367

modifications

@@ Ligne 6 : / Ligne 6 : @@
 		var link = document.createElement('a');
 		link.href = '#top';
-		link.style.fontStyle = 'weight';
+		link.style.fontWeight = 'bold';
 		link.appendChild(document.createTextNode('retour en haut'));
 		span.appendChild(document.createTextNode('['));