MediaWiki:Gadgets-definition
general
- common[ResourceLoader|default|dependencies=mediawiki.util]|common.js
- pr_layout[ResourceLoader]|pr_layout.js
- pr_headers[ResourceLoader]|pr_headers.js
- autohinter[ResourceLoader|target=desktop]|autohinter.js
- maqrich[ResourceLoader|target=desktop]|maqrich.js
- HotCat[ResourceLoader|rights=edit]|HotCat.js
page-namespace-tools
- ocr[ResourceLoader|dependencies=user.options]|ocr.js
interface
- UTCLiveClock[ResourceLoader|dependencies=mediawiki.util]|UTCLiveClock.js
- navigationbar[ResourceLoader|default|target=desktop,mobile]|navigationbar.js
- zoom[ResourceLoader|dependencies=user.options]|zoom.js