MediaWiki:Gadgets-definition

General

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