MediaWiki:Gadgets-definition

interface gadgets

• Navigation_popups[ResourceLoader|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|popups.js|navpop.css
• vector-headanchor[ResourceLoader|type=general]|vector-headanchor.js|vector-headanchor.css
• Edittop[ResourceLoader]|edittop.js
• InlineSearch[ResourceLoader|hidden|default|categories=Gadget:InlineSearch]|InlineSearch.js

editing gadgets

• CharInsertButtons[ResourceLoader|default|actions=edit]|CharInsertButtons.css

Experimental / Fun

• Vivarium[ResourceLoader|default|categories=Vivarium.js]|Vivarium.js
• Formicarium[ResourceLoader|default|categories=Formicarium.js]|Formicarium.js

Global

• Global-Vivarium[ResourceLoader]|Global-Vivarium.js|Global-Vivarium.css