MediaWiki:Gadgets-definition:修订间差异

删除的内容 添加的内容
editing:​ // Edit via Wikiplus
第16行:
* edit0[ResourceLoader|dependencies=mediawiki.util|default]|edit0.js|edit0.css
* HotCat[ResourceLoader|rights=edit]|HotCat.js
* ProveIt[ResourceLoader]|ProveIt.js
* Wikiplus[ResourceLoader|type=general|rights=edit|dependencies=mediawiki.util]|Wikiplus.js
* wikiplus-highlight[ResourceLoader|type=general|rights=edit|dependencies=mediawiki.util]|wikiplus-highlight.js