MediaWiki:Gadgets-definition

interface-gadgets

• sectionObserver[ResourceLoader|type=general|default]|sectionObserver.js
• stickyToc[ResourceLoader|type=general|default]|stickyToc.js|stickyToc.css
• Timer[ResourceLoader|type=general|default]|Countdown.js