MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Aus SchnuppTrupp
Wechseln zu: Navigation, Suche
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