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

Version du 20 mai 2020 à 12:53

ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client,mediawiki.notify]|ReferenceTooltips.js|ReferenceTooltips.css
CookieSettings[ResourceLoader|default|type=general|dependencies=mediawiki.cookie]|Cookies.js

Version du 20 décembre 2019 à 21:56 (voir la source) LMischler (discussion \| contributions) (no more used) ← Modification précédente	Version du 20 mai 2020 à 12:53 (voir la source) Migrate2019 (discussion \| contributions) Aucun résumé des modifications Modification suivante →
Ligne 1 :	Ligne 1 :
		*ReferenceTooltips[ResourceLoader\|default\|type=general\|dependencies=mediawiki.cookie,jquery.client,mediawiki.notify]\|ReferenceTooltips.js\|ReferenceTooltips.css
		*CookieSettings[ResourceLoader\|default\|type=general\|dependencies=mediawiki.cookie]\|Cookies.js