MediaWiki:Gadgets-definition

navigation-gadgets

 * Navigation_popups|popups.js|navpop.css

admin-gadgets

 * rightsfilter|rightsfilter.js
 * EnhancedUndelete|EnhancedUndelete.js
 * contribsrange|contribsrange.js

editing-gadgets

 * wikEd|wikEd.js

library-gadgets

 * JSL|JSL.js
 * modernskin-thunks|modernskin-thunks.js