MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
mNo edit summary |
||
| Line 2: | Line 2: | ||
//* 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