MediaWiki:Gadgets-definition

tools

 * HotCat[ResourceLoader|rights=upload|default|targets=desktop,mobile]|HotCat.js|Hotcatcheck.js

hidden

 * StaffHighlights[ResourceLoader|default|hidden|targets=desktop,mobile]|StaffHighlights.css