MediaWiki:Gadgets-definition — различия между версиями
Материал из Dradipedia
Ди Ради (обсуждение | вклад) |
Ди Ради (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
== interface-gadgets == | == 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 | * site[ResourceLoader|default|top|dependencies=mediawiki.legacy.wikibits,mediawiki.util,jquery.mwExtension,ext.gadget.enwp-boxes]|site.js|site.css|NavFrame.js|NavFrame.css | ||
+ | * Navigation_popups|popups.js|navpop.css | ||
== editing-gadgets == | == editing-gadgets == |
Версия 03:32, 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
- Navigation_popups|popups.js|navpop.css
editing-gadgets
- wikEd|wikEd.js
- Edittools[ResourceLoader|default]|Edittools.js
- HotCat[ResourceLoader]|HotCat.js
- ajaxPreview[ResourceLoader]|ajaxPreview.css|ajaxPreview.js
- enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css