MediaWiki:Gadgets-definition

• Navigation_popups[ResourceLoader|type=general|dependencies=ext.gadget.site-lib]|popups.js|popups.css
• shortlink[ResourceLoader|type=general|rights=read|dependencies=ext.gadget.site-lib]|shortlink.js
• HotCat[ResourceLoader|rights=skipcaptcha]|HotCat.js
• rollback-summary[ResourceLoader|type=general|rights=rollback|dependencies=mediawiki.api,mediawiki.Uri,ext.gadget.site-lib|default]|rollback-summary.js
• registerToDelete[ResourceLoader|rights=patrolleredit|dependencies=ext.gadget.site-lib|default]|registerToDelete.js
• deletion[ResourceLoader|type=general|rights=delete|default]|deletion.js|deletion.css
• site-lib[ResourceLoader|type=general|top|dependencies=mediawiki.legacy.wikibits,mediawiki.util|rights=hidden|hidden]|site-lib.js
• LocalObjectStorage[ResourceLoader|type=general|rights=hidden|hidden]|LocalObjectStorage.js