MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Porod (Diskussion | Beiträge) |
Porod (Diskussion | Beiträge) |
||
| Zeile 8: | Zeile 8: | ||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
| − | |||
| − | |||
* GalleryDetails|GalleryDetails.js | * GalleryDetails|GalleryDetails.js | ||
| Zeile 22: | Zeile 20: | ||
* markAdmins [ResourceLoader|dependencies=json,mediawiki.util]|markAdmins-data.js|markAdmins.js|markAdmins.css | * markAdmins [ResourceLoader|dependencies=json,mediawiki.util]|markAdmins-data.js|markAdmins.js|markAdmins.css | ||
| + | |||
| + | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
Version vom 21. Juli 2015, 13:45 Uhr
- Navigation_popups[ResourceLoader]|popups.js|navpop.css
- enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css
- workinprogress[ResourceLoader]|workinprogress.js
- HotCat[ResourceLoader]|HotCat.js
- Edittools[ResourceLoader|default]|Edittools.js
- GalleryDetails|GalleryDetails.js
- ThumbnailPurger[ResourceLoader|dependencies=ext.gadget.ExtraTabs2]|ThumbnailPurger.js
- AddInformation[ResourceLoader|dependencies=mediawiki.util]|AddInformation.js
- Gallerypreview[ResourceLoader|dependencies=mediawiki.util]|Gallerypreview.js
- Slideshow[ResourceLoader|dependencies=jquery.cookie,jquery.ui.button,mediawiki.util,ext.gadget.libUtil|default]|GallerySlideshow.js|GallerySlideshow.css
- markAdmins [ResourceLoader|dependencies=json,mediawiki.util]|markAdmins-data.js|markAdmins.js|markAdmins.css
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js