Main Page
Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
== Editing == | == Editing == | ||
* TabOverride[ResourceLoader]|TabOverride.js | * TabOverride[ResourceLoader]|TabOverride.js | ||
| + | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
== Beta == | == Beta == | ||
* StickyTableHeaders[ResourceLoader|type=general]|StickyTableHeaders.js|StickyTableHeaders.css | * StickyTableHeaders[ResourceLoader|type=general]|StickyTableHeaders.js|StickyTableHeaders.css | ||
Revision as of 14:49, 11 January 2019
Editing
- TabOverride[ResourceLoader]|TabOverride.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
Beta
- StickyTableHeaders[ResourceLoader|type=general]|StickyTableHeaders.js|StickyTableHeaders.css