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

Version du 31 octobre 2021 à 10:05

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

Version du 20 mai 2020 à 12:53 (voir la source) Migrate2019 (discussion \| contributions) m (1 révision importée : importer pages, templates etc de PPR-FR (X1)) ← Modification précédente		Version du 31 octobre 2021 à 10:05 (voir la source) LMischler (discussion \| contributions) (hide gadget) Modification suivante →
Ligne 1 :		Ligne 1 :
	*ReferenceTooltips[ResourceLoader\|default\|type=general\|dependencies=mediawiki.cookie,jquery.client,mediawiki.notify]\|ReferenceTooltips.js\|ReferenceTooltips.css		*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		*CookieSettings[ResourceLoader\|default\|hidden\|type=general\|dependencies=mediawiki.cookie]\|Cookies.js