MediaWiki:Gadgets-definition

Features

 * CommentsInLocalTime[ResourceLoader|default]|CommentsInLocalTime.js
 * Navigation_popups[ResourceLoader|default|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|popups.js|popups.css

Styling

 * No Recent Changes Help|No Recent Changes Help.css
 * No Recent Changes Legend[ResourceLoader]|No Recent Changes Legend.css
 * No Rollback[ResourceLoader]|No Rollback.css

Editing

 * Wikitext-Extension-VSCode[ResourceLoader|dependencies=mediawiki.util]|Wikitext-Extension.js|Wikitext-Extension.css
 * Wikitext-Extension-VSCodeInsiders[ResourceLoader|dependencies=mediawiki.util]|Wikitext-Extension.js|Wikitext-Extension.css
 * Wikitext-Extension-VSCodium[ResourceLoader|dependencies=mediawiki.util]|Wikitext-Extension.js|Wikitext-Extension.css