MediaWiki:Gadgets-definition

editing-tools

• CharInsert[ResourceLoader|default]|CharInsert.js
• CharInsert-core[ResourceLoader|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|CharInsert-core.js|CharInsert-core.css
• RegexMenuFramework[ResourceLoader|dependencies=mediawiki.util]|RegexMenuFramework.js
• HotCat[ResourceLoader|rights=edit]|HotCat.js

editing-tools-for-Index-namespace

• transclusion-check[ResourceLoader|default|dependencies=mediawiki.util,mediawiki.api|actions=view|namespaces=106]|transclusion-check.js|transclusion-check.css

interface

• PageNumbers[ResourceLoader|default]|PageNumbers.js
• PageNumbers-core[ResourceLoader|hidden|dependencies=mediawiki.util,user,mediawiki.cookie]|PageNumbers-core.js|PageNumbers-core.css