MediaWiki
Difference between revisions of "Gadgets-definition"
| Line 3: | Line 3: | ||
== RecordWizard generators == | == RecordWizard generators == | ||
* Demo [ResourceLoader] | Demo.js | * Demo [ResourceLoader] | Demo.js | ||
| − | * | + | * ExternalTools [ResourceLoader|default|dependencies=mediawiki.util] | ExternalTools.js |
Revision as of 16:34, 17 December 2018
- LinguaImporter [ResourceLoader|dependencies=oojs-ui,mediawiki.api|rights=delete] | LinguaImporter.js
RecordWizard generators
- Demo [ResourceLoader] | Demo.js
- ExternalTools [ResourceLoader|default|dependencies=mediawiki.util] | ExternalTools.js