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

Version du 23 août 2020 à 03:03

/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */
$( function () {
	var elems = document.getElementsByClassName('mw-editsection');
	for (i = 0; i < elems.length; i++) {
		var span = document.createElement('span');
		var link = document.createElement('a');
		link.href = '#top';
		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);
	}
});