MediaWiki:Gadgets-definition
- 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