MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen
Aus SchnuppTrupp
| Zeile 5: | Zeile 5: | ||
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
* purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js | * purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js | ||
| + | * Darkmode|Gadget-Blackskin.css | ||
Version vom 18. November 2023, 22:39 Uhr
- Auto Complete[ResourceLoader]|autocomplete.js
- wikEd|wikEd.js
- stickyTableHeaders[ResourceLoader|type=styles|default]|StickyTableHeaders.css
- HotCat[ResourceLoader]|HotCat.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js
- Darkmode|Gadget-Blackskin.css
