미디어위키: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