MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen
Aus SchnuppTrupp
| Zeile 3: | Zeile 3: | ||
* stickyTableHeaders[ResourceLoader|type=styles|default]|StickyTableHeaders.css | * stickyTableHeaders[ResourceLoader|type=styles|default]|StickyTableHeaders.css | ||
* HotCat[ResourceLoader]|HotCat.js | * HotCat[ResourceLoader]|HotCat.js | ||
| + | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
Version vom 12. Mai 2020, 22:58 Uhr
- Auto Complete[ResourceLoader]|autocomplete.js
- wikEd|wikEd.js
- stickyTableHeaders[ResourceLoader|type=styles|default]|StickyTableHeaders.css
- HotCat[ResourceLoader]|HotCat.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
