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