MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Porod (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „* Navigation_popups[ResourceLoader]|popups.js|navpop.css * enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css * workinprogress[ResourceLoader]|wo…“) |
Porod (Diskussion | Beiträge) |
||
(8 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
− | |||
− | |||
− | |||
* workinprogress[ResourceLoader]|workinprogress.js | * workinprogress[ResourceLoader]|workinprogress.js | ||
* HotCat[ResourceLoader]|HotCat.js | * HotCat[ResourceLoader]|HotCat.js | ||
+ | |||
+ | |||
+ | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
+ | |||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
− | * | + | |
+ | * Navigation_popups[ResourceLoader]|popups.js|navpop.css | ||
+ | |||
+ | * enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css |
Aktuelle Version vom 21. Juli 2015, 13:59 Uhr
- workinprogress[ResourceLoader]|workinprogress.js
- HotCat[ResourceLoader]|HotCat.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- Edittools[ResourceLoader|default]|Edittools.js
- Navigation_popups[ResourceLoader]|popups.js|navpop.css
- enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css