Difference between revisions of MediaWiki:Gadgets-definition
No edit summary |
|||
| Line 13: | Line 13: | ||
* UTCLiveClock-pagestyles[hidden|rights=edit|skins=vector,monobook]|UTCLiveClock-pagestyles.css | * UTCLiveClock-pagestyles[hidden|rights=edit|skins=vector,monobook]|UTCLiveClock-pagestyles.css | ||
* DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | ||
* addsection-plus[ResourceLoader]|addsection-plus.js | * addsection-plus[ResourceLoader|rights=edit]|addsection-plus.js | ||
* OldDiff[ResourceLoader]|OldDiff.css | * OldDiff[ResourceLoader|rights=edit]|OldDiff.css | ||
* markblocked[ResourceLoader|default|rights=edit|dependencies=mediawiki.util,mediawiki.page.startup]|markblocked.js | |||
== for-external-users == | == for-external-users == | ||
* PrintOptions[ResourceLoader|default]|PrintOptions.js | * PrintOptions[ResourceLoader|default]|PrintOptions.js | ||