MediaWiki:Gadgets-definition

Tools

 * Rollbackall|rollbackall.js

Edit buttons

 * Admin_Buttons|adminbuttons.js

Interface

 * Oldfilepages|oldfilepages.js