MediaWiki:Gadgets-definition

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
• Typo[ResourceLoader|dependencies=user.options,ext.wikiEditor]|Typo.js

interface

• UTCLiveClock[ResourceLoader|dependencies=mediawiki.util]|UTCLiveClock.js
• navigationbar[ResourceLoader|default|target=desktop,mobile]|navigationbar.js
• zoom[ResourceLoader|dependencies=user.options]|zoom.js