MediaWiki:Gadgets-definition

editing-gadgets

• Edittools[ResourceLoader|default|actions=edit]|Edittools.js

上下按钮

• scrollUpButton[ResourceLoader|default]|scrollUpButton.js