MediaWiki:Gadgets-definition

General

 * UserTools[rights=wikifeaturesview|ResourceLoader]|UserTools.js
 * AdminTools[rights=commentdelete|ResourceLoader]|AdminTools.js