미디어위키:Gadgets-definition

사용자 환경 설정에서 설정할 수 있는 소도구의 정의입니다.

browsing

• ReferenceTooltips[ResourceLoader|default|skins=vector,vector-2022,monobook,timeless,modern,cologneblue|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
• Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util]|popups.js|popups-strings-ko.js|navpop.css
• DoubleWiki[ResourceLoader]|DoubleWiki.js
• exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js
• removeAccessKeys[ResourceLoader|dependencies=mediawiki.util]|removeAccessKeys.js
• searchFocus[ResourceLoader]|searchFocus.js

editing

• Easy_LST[ResourceLoader|default]|Easy_LST.js
• HotCat[ResourceLoader|rights=edit]|HotCat.js
• editsummary[ResourceLoader]|editsummary.js|editsummary.css

interface

• Site[ResourceLoader|default|type=styles|top|dependencies=mediawiki.util]|Site.js|Site.css
• dynamicNavBars[ResourceLoader|default]|dynamicNavBars.js
• dynamicLayoutOverrides[ResourceLoader|default]|dynamicLayoutOverrides.js
• edittop[ResourceLoader|dependencies=user.options,mediawiki.util|type=general]|edittop.js|edittop.css
• pilcrowMarkers[ResourceLoader]|pilcrowMarkers.css
• addsection-plus[ResourceLoader]|addsection-plus.js

development

• PurgeTab[ResourceLoader|dependencies=mediawiki.util,mediawiki.api]|PurgeTab.js
• NopInserter[ResourceLoader|dependencies=mediawiki.util]|NopInserter.js