MediaWiki:Gadgets-definition — различия между версиями
Материал из Dradipedia
Ди Ради (обсуждение | вклад) |
Anton (обсуждение | вклад) (→editing-gadgets) |
||
Строка 4: | Строка 4: | ||
== editing-gadgets == | == editing-gadgets == | ||
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
− | + | ||
* HotCat[ResourceLoader]|HotCat.js | * HotCat[ResourceLoader]|HotCat.js |
Версия 07:39, 1 июля 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
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- HotCat[ResourceLoader]|HotCat.js