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

Version du 7 mars 2013 à 15:08

Version du 6 mars 2013 à 09:37 voir la source Websahib (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Masqueurs de modifications, Administrateurs, Modificateurs de widgets 10 104 modifications mAucun résumé des modifications ← Versions précédentes		Version du 7 mars 2013 à 15:08 voir la source Websahib (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Masqueurs de modifications, Administrateurs, Modificateurs de widgets 10 104 modifications mAucun résumé des modifications Versions suivantes →
Ligne 1 :		Ligne 1 :
	* wikiEditor\|wikiEditor.js		* wikiEditor\|wikiEditor.js
			* Edittools[ResourceLoader\|default]\|Edittools.js