« MediaWiki:Gadgets-definition » : différence entre les versions

Dernière version du 12 mai 2018 à 15:28

Version du 6 mars 2013 à 10:34 voir la source Websahib (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Masqueurs de modifications, Administrateurs, Modificateurs de widgets 10 092 modifications Page créée avec « *Gadget-wikiEditor.js »		Dernière version du 12 mai 2018 à 15:28 voir la source Websahib (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Masqueurs de modifications, Administrateurs, Modificateurs de widgets 10 092 modifications mAucun résumé des modifications
(2 versions intermédiaires par le même utilisateur non affichées)
Ligne 1 :		Ligne 1 :
	*~~Gadget-~~wikiEditor.js		* wikiEditor[ResourceLoader\|default]\|wikiEditor.js
			* Edittools[ResourceLoader\|default]\|Edittools.js