MediaWiki:Gadgets-definition

• clipboard[ResourceLoader|type=general|hidden|targets=desktop,mobile]|clipboard.js
• tippy[ResourceLoader|type=general|hidden|targets=desktop,mobile]|Tippy.js|Tippy-light-border.css
• Help[ResourceLoader|type=general|default|hidden|targets=desktop,mobile|dependencies=ext.gadget.tippy]|Help.js