MediaWiki:Gadgets-definition：修订间差异
跳到导航
跳到搜索
无编辑摘要 |
无编辑摘要 |
||
| 第7行： | 第7行： | ||
==兼容性== | ==兼容性== | ||
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 | ||
2020年8月11日 (二) 06:07的版本
语法高亮选一个即可
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- wikEd[ResourceLoader]|wikEd.js
悬浮卡
- 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