MediaWiki:Gadgets-definition — различия между версиями
Материал из Dradipedia
Ди Ради (обсуждение | вклад) |
Ди Ради (обсуждение | вклад) |
||
| Строка 3: | Строка 3: | ||
== editing-gadgets == | == editing-gadgets == | ||
| + | * charinsert[ResourceLoader|default]|charinsert.js|charinsert.css | ||
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
Версия 02:48, 2 июля 2015
interface-gadgets
- site[ResourceLoader|default|top|dependencies=mediawiki.legacy.wikibits,mediawiki.util,jquery.mwExtension,ext.gadget.enwp-boxes]|site.js|site.css|NavFrame.js|NavFrame.css
editing-gadgets
- charinsert[ResourceLoader|default]|charinsert.js|charinsert.css
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- Edittools[ResourceLoader|default]|Edittools.js
- HotCat[ResourceLoader]|HotCat.js
- enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css
- charinsert-core[ResourceLoader|hidden|rights=hidden|dependencies=mediawiki.action.edit,mediawiki.toolbar,jquery.textSelection,user]|charinsert-core.js|charinsert-core.css
