MediaWiki:Gadgets-definition:修订间差异
跳到导航
跳到搜索
无编辑摘要 |
无编辑摘要 |
||
第11行: | 第11行: | ||
==兼容性== | ==兼容性== | ||
* site-lib[ResourceLoader|dependencies=mediawiki.util|rights=hidden|hidden|targets=desktop,mobile]|site-lib.js | * site-lib[ResourceLoader|dependencies=mediawiki.util|rights=hidden|hidden|targets=desktop,mobile]|site-lib.js | ||
* SettingsManager [ResourceLoader|dependencies=mediawiki.user,user.options,mediawiki.api|rights=hidden|hidden]|SettingsManager.js | |||
* SettingsUI[ResourceLoader|dependencies=jquery.ui,mediawiki.user,ext.gadget.libJQuery|rights=hidden|hidden]|SettingsUI.js |
2020年8月14日 (五) 07:40的版本
语法高亮选一个即可
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- wikEd[ResourceLoader]|wikEd.js
分类
- Cat-a-lot[ResourceLoader|dependencies=mediawiki.util|type=general]|Cat-a-lot.js|Cat-a-lot.css
悬浮卡
- Navigation popups[ResourceLoader|type=general|dependencies=ext.gadget.site-lib]|popups.js|popups.css
兼容性
- site-lib[ResourceLoader|dependencies=mediawiki.util|rights=hidden|hidden|targets=desktop,mobile]|site-lib.js
- SettingsManager [ResourceLoader|dependencies=mediawiki.user,user.options,mediawiki.api|rights=hidden|hidden]|SettingsManager.js
- SettingsUI[ResourceLoader|dependencies=jquery.ui,mediawiki.user,ext.gadget.libJQuery|rights=hidden|hidden]|SettingsUI.js