MediaWiki:Gadgets-definition

editing-tools

• TemplatePreloader|TemplatePreloader.js
• RegexMenuFramework|RegexMenuFramework.js
• HotCat[ResourceLoader]|HotCat.js
• popups|popups.js
• LongEditSummaries|LongEditSummaries.js
• edittop[ResourceLoader]|edittop.js
• specialchars|specialchars.js
• refToolbar|refToolbar.js
• AjaxPatrolLinks[ResourceLoader]|AjaxPatrolLinks.js

editing-tools-for-Page-namespace

• ocr|ocr.js
• pr_layout|pr_layout.js
• pr_headers|pr_headers.js
• old_LST|old_LST.js
• pr_test_layout|pr_test_layout.js

interface

• UTCLiveClock[ResourceLoader]|UTCLiveClock.js
• addsection-plus|addsection-plus.js
• altindex|altindex.js
• mwEmbed|mwEmbed.js
• userMessages|UserMessages.js
• WhatLeavesHere[ResourceLoader]|WhatLeavesHere.js
• HideFundraisingNotice|HideFundraisingNotice.js|HideFundraisingNotice.css

development

• dictLookup[ResourceLoader]|dictLookup.js
• robot|robot.js
• popups2[ResourceLoader]|popups2.js|navpop.css
• EdittoolsCollapser[default]|EdittoolsCollapser.js
• ShowMessageNames[ResourceLoader]|ShowMessageNames.js
• addViafData|addViafData.js