Difference between revisions of "Gadgets-definition"

Revision as of 14:12, 19 April 2021

RecentNonAudio [ResourceLoader|dependencies=oojs-ui,mediawiki.api,mediawiki.util] | RecentNonAudio.js

LinguaImporter [ResourceLoader|dependencies=oojs-ui,mediawiki.api|rights=delete] | LinguaImporter.js

ExternalTools [ResourceLoader|default|dependencies=oojs-ui,mediawiki.util,ext.recordWizard.generator] | ExternalTools.js

Revision as of 14:08, 19 April 2021 (view source) Seb35 (talk \| contribs) (→‎RecordWizard generators: +dépendance à oojs-ui pour tenter de faire fonctionner hors mode debug (où ça fonctionne)) ← Older edit		Revision as of 14:12, 19 April 2021 (view source) Seb35 (talk \| contribs) (+dépendance à ext.recordWizard.generator) Newer edit →
Line 6:		Line 6:

	== RecordWizard generators ==		== RecordWizard generators ==
−	* ExternalTools [ResourceLoader\|default\|dependencies=oojs-ui,mediawiki.util] \| ExternalTools.js	+	* ExternalTools [ResourceLoader\|default\|dependencies=oojs-ui,mediawiki.util,ext.recordWizard.generator] \| ExternalTools.js