MediaWiki:Gadgets-definition

View

• Navigation_popups[ResourceLoader|type=general|targets=desktop,mobile|dependencies=ext.gadget.site-lib]|popups.js|popups.css
• disuse[ResourceLoader|hidden|default|type=general]|disuse.js
• visitor-warning[ResourceLoader|hidden|default|type=general]|visitor-warning.js

Edit

• DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
• Wikiplus[ResourceLoader|type=general|rights=edit]|Wikiplus.js
• PrismLoader[ResourceLoader]|PrismLoader.js
• WikiEditorModify[ResourceLoader]|WikiEditorModify.js

System

• site-lib[ResourceLoader|type=general|dependencies=mediawiki.legacy.wikibits,mediawiki.util|rights=hidden|hidden|targets=desktop,mobile]|site-lib.js