미디어위키:Gadgets-definition

• Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util,user.options|type=general]|popups.js|popups.css
• HotCat[ResourceLoader|rights=edit|default]|HotCat.js|Hotcatcheck.js