MediaWiki:Gadgets-definition
- wikEd[ResourceLoader]|wikEd.js
- DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js
- Wordcount[ResourceLoader|dependencies=ext.gadget.Wordcount]|Wordcount.js
- CommentsinLocalTime[ResourceLoader]|CommentsinLocalTime.js
- markblocked[ResourceLoader]|markblocked.js