MediaWiki:Gadgets-definition

edit-tools

 * NavigationPopups[ResourceLoader]|NavigationPopups.css|NavigationPopups.js

user-interface

 * AdvancedOasisUI[ResourceLoader]|AdvancedOasisUI.js
 * CategoryRedlink[ResourceLoader]|CategoryRedlink.css
 * PurgeButton[ResourceLoader]|PurgeButton.js
 * JustifiedText[ResourceLoader]|JustifiedText.css
 * SimpleDiffLink[ResourceLoader]|SimpleDiffLink.js
 * InterlanguageChecker[ResourceLoader]|InterlanguageChecker.js