MediaWiki:Gadgets-definition
admin-gadgets
- EnhancedUndelete[ResourceLoader]|EnhancedUndelete.js
browsing-gadgets
- Navigation_popups[ResourceLoader]|popups.js
editing-gadgets
- Friendly[ResourceLoader]|Friendly.js
- HotCat[ResourceLoader]|HotCat.js
- wikEd[ResourceLoader]|wikEd.js