« 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) (Page créée avec « *Gadget-wikiEditor.js »)		Dernière version du 12 mai 2018 à 15:28 (voir la source) Websahib (discussion \| contributions) 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