MediaWiki:Gadgets-definition
interface-gadgets
- sharing[ResourceLoader]|sharing.js
- roundedTOC[ResourceLoader]|roundedTOC.css
editing-gadgets
- summaryButtons[ResourceLoader|default|hidden|type=general|actions=edit|dependencies=mediawiki.ui.button,mediawiki.util]|summaryButtons.js|summaryButtons.css