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|targets=desktop,mobile|type=general]|disuse.js
• visitor-warning[ResourceLoader|hidden|default|type=general|dependencies=oojs-ui-core,oojs-ui-windows]|visitor-warning.js
• NationalDays[ResourceLoader|hidden|default|type=general]|NationalDays.js
• ReplaceUsername[ResourceLoader|hidden|default|type=general]|ReplaceUsername.js
• VectorThemeLoader[ResourceLoader|skins=vector|default|type=general]|VectorThemeLoader.js
• VectorLeftPanel[ResourceLoader|skins=vector|default|type=general]|VectorLeftPanel.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
• SaltAlbum[ResourceLoader|type=general|hidden|default|targets=desktop]|SaltAlbum.js