Basculer le menu
Basculer le menu personnel
Non connecté(e)
Votre adresse IP sera visible au public si vous faites des modifications.

MediaWiki:Gadget-gadgetLinks.js

Page de l’interface de MediaWiki
Autres langues
Révision datée du 24 juin 2023 à 14:05 par Forte (discussion | contributions) (1 version importée)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Note : après avoir publié vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

  • Firefox / Safari : maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou appuyez sur Ctrl + F5 ou Ctrl + R (⌘ + R sur un Mac).
  • Google Chrome : appuyez sur Ctrl + Maj + R (⌘ + Shift + R sur un Mac).
  • Internet Explorer / Edge : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl + F5.
  • Opera : appuyez sur Ctrl + F5.
$(function() {
	function gadgetLink(page) {
	    return '<a href="/wiki/MediaWiki:Gadget-'+page+'" title="MediaWiki:Gadget-'+page+'">'+page+'</a>';
	}
	$('.page-MediaWiki_Gadgets-definition #bodyContent ul li').not('#toc li').each(function() {
	    var txt = this.innerHTML;
	    var links = txt.replace(/([a-zA-Z0-9-]+)(\[[^\]]+\]\|)(.*)/, function(match, name, options, filelist) {
	        var files = filelist.split('|');
	        files = files.map(function(file) { return gadgetLink(file); });
	        return gadgetLink(name) + options + files.join('|');
	    });
	    $(this).html(links);
	});
});