MediaWiki:Gadgets-definition:修订间差异

删除7字节 、​ 2022年8月1日 (星期一)
无编辑摘要
无编辑摘要
无编辑摘要
第4行: 第4行:
== Edit ==
== Edit ==
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
* <!--Wikiplus[ResourceLoader|type=general|rights=edit]|Wikiplus.js-->
* Wikiplus[ResourceLoader|type=general|rights=edit]|Wikiplus.js
* PrismLoader[ResourceLoader]|PrismLoader.js
* PrismLoader[ResourceLoader]|PrismLoader.js


== System ==
== System ==
* site-lib[ResourceLoader|type=general|dependencies=mediawiki.legacy.wikibits,mediawiki.util|rights=hidden|hidden|targets=desktop,mobile]|site-lib.js
* site-lib[ResourceLoader|type=general|dependencies=mediawiki.legacy.wikibits,mediawiki.util|rights=hidden|hidden|targets=desktop,mobile]|site-lib.js
维护员、​界面管理员、​巡查员、​监督员、​小部件编辑者
3,469

个编辑