Difference between revisions of MediaWiki:Gadgets-definition
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
==Really Useful== | ==Really Useful== | ||
| Line 12: | Line 13: | ||
* DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | ||
==Great for External Users== | |||
* PrintOptions[ResourceLoader|default]|PrintOptions.js | |||
<!--*refToolbar[ResourceLoader|default|dependencies=user.options,mediawiki.util]|refToolbar.js | <!--*refToolbar[ResourceLoader|default|dependencies=user.options,mediawiki.util]|refToolbar.js | ||
*refToolbarBase[ResourceLoader|hidden]|refToolbarBase.js--> | *refToolbarBase[ResourceLoader|hidden]|refToolbarBase.js--> | ||