Difference between revisions of MediaWiki:Gadgets-definition
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
== | == really-useful == | ||
* HotCat[ResourceLoader|rights=edit|default]|HotCat.js | * HotCat[ResourceLoader|rights=edit|default]|HotCat.js | ||
| Line 6: | Line 6: | ||
* wikEd[ResourceLoader|rights=edit|default]|wikEd.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 | * MoreMenu-local[ResourceLoader|right=edit|dependencies=mediawiki.api,mediawiki.util,user.options]|MoreMenu-local.js | ||
| Line 14: | Line 14: | ||
* DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js | ||
== | == for-external-users == | ||
* PrintOptions[ResourceLoader|default]|PrintOptions.js | * PrintOptions[ResourceLoader|default]|PrintOptions.js | ||