MediaWiki:Gadgets-definition

general

• common[ResourceLoader|default|dependencies=mediawiki.util]|common.js

editing-tools

• 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