MediaWiki:Gadgets-definition
阅读:441 更新:2023-8-25
来自柯南百科
tools
- GeneralTooltips[ResourceLoader|dependencies=mediawiki.util,ext.gadget.site-lib|default|type=general]|GeneralTooltips.js|GeneralTooltips.css
- ReferenceTooltips[ResourceLoader|dependencies=mediawiki.util,ext.gadget.site-lib|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
- EditPageDraftTool[ResourceLoader|dependencies=mediawiki.util|default|type=general]|EditPageDraftTool.js
- ForcedPreview[ResourceLoader|default|type=general]|ForcedPreview.js
- Edittools[ResourceLoader|default|dependencies=mediawiki.user|actions=edit]|Edittools.js
- ForcedUndoSummary[ResourceLoader|default|type=general|hidden]|ForcedUndoSummary.js
styles
- HideCiteSup[ResourceLoader|dependencies=mediawiki.util|default|type=styles]|HideCiteSup.css
- CodeMirrorUseInitialFontFamily[ResourceLoader|dependencies=mediawiki.util|default|type=styles]|CodeMirrorUseInitialFontFamily.css
library
- site-lib[ResourceLoader|dependencies=mediawiki.util|rights=hidden|hidden]|site-lib.js