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

Dernière version du 30 juin 2022 à 15:47

ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|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		Dernière version du 30 juin 2022 à 15:47 (voir la source) LMischler (discussion \| contributions) m (1 version importée : MW1.35 - common pages for all wikis)
(2 versions intermédiaires par le même utilisateur non affichées)
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]\|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