Gadgets-definition

Version du 5 octobre 2020 à 14:59

tooltips[ ResourceLoader | default | dependencies = mediawiki.api ] | tooltips.js | tooltips.css
translation[ ResourceLoader | default | dependencies = mediawiki.api, mediawiki.ForeignApi ] | translation.js | translation-list.js | translation.css

Version du 5 octobre 2020 à 14:15 (voir la source) Derugon (discussion \| contributions) mAucun résumé des modifications ← Modification précédente		Version du 5 octobre 2020 à 14:59 (voir la source) Derugon (discussion \| contributions) m (Gadget de traduction par défaut) Modification suivante →
Ligne 1 :		Ligne 1 :
	* tooltips[ ResourceLoader \| default \| dependencies = mediawiki.api ] \| tooltips.js \| tooltips.css		* tooltips[ ResourceLoader \| default \| dependencies = mediawiki.api ] \| tooltips.js \| tooltips.css
−	* translation[ ResourceLoader \| dependencies = mediawiki.api, mediawiki.ForeignApi ] \| translation.js \| translation-list.js \| translation.css	+	* translation[ ResourceLoader \| default \| dependencies = mediawiki.api, mediawiki.ForeignApi ] \| translation.js \| translation-list.js \| translation.css