Difference between revisions of "MediaWiki:Gadgets-definition"
m |
m |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
* ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css | * ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css | ||
− | * PrintOptions[ResourceLoader|default|type=general]|PrintOptions.js | + | //* PrintOptions[ResourceLoader|default|type=general]|PrintOptions.js |
* exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js | * exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js | ||
+ | * Hotkeys[ResourceLoader|default|type=general]|Hotkeys.js |
Latest revision as of 23:35, 12 June 2017
- ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
//* PrintOptions[ResourceLoader|default|type=general]|PrintOptions.js
- exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js
- Hotkeys[ResourceLoader|default|type=general]|Hotkeys.js