« 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 mai 2020 à 12:53 voir la source Migrate2019 (discussion \| contributions) Robots, Bureaucrates, Administrateurs 63 modifications Aucun résumé des modifications ← Modification précédente		Version du 20 mai 2020 à 12:53 voir la source Migrate2019 (discussion \| contributions) Robots, Bureaucrates, Administrateurs 63 modifications m 1 révision importée : importer pages, templates etc de PPR-FR (X1) Modification suivante →
(Aucune différence)