Difference between revisions of MediaWiki:Gadgets-definition
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 14: | Line 14: | ||
* DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | ||
* addsection-plus[ResourceLoader]|addsection-plus.js | * addsection-plus[ResourceLoader]|addsection-plus.js | ||
* OldDiff[ResourceLoader]|OldDiff.css | |||
== for-external-users == | == for-external-users == | ||
* PrintOptions[ResourceLoader|default]|PrintOptions.js | * PrintOptions[ResourceLoader|default]|PrintOptions.js |
Revision as of 19:54, 28 May 2020
really-useful
- HotCat[ResourceLoader|rights=edit|default]|HotCat.js
- ProveIt[ResourceLoader|rights=edit|default]|ProveIt.js
- wikEd[ResourceLoader|rights=edit|default]|wikEd.js
quality-of-life
- MoreMenu-local[ResourceLoader|right=edit|dependencies=mediawiki.api,mediawiki.util,user.options]|MoreMenu-local.js
- RevisionJumper[ResourceLoader|rights=edit|skins=vector,monobook|default]|revisionjumper.js
- UTCLiveClock[ResourceLoader|rights=edit|default|type=general|dependencies=mediawiki.util,mediawiki.api|peers=UTCLiveClock-pagestyles]|UTCLiveClock.js|UTCLiveClock.css
- UTCLiveClock-pagestyles[hidden|rights=edit|skins=vector,monobook]|UTCLiveClock-pagestyles.css
- DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
- addsection-plus[ResourceLoader]|addsection-plus.js
- OldDiff[ResourceLoader]|OldDiff.css
for-external-users
- PrintOptions[ResourceLoader|default]|PrintOptions.js