MediaWiki:Gadgets-definition

user-interface

 * summary|summary.js
 * citation|cite.js
 * disclaimer-hid|disclaimer-hid.js

editor-buttons

 * button-editorial|button-editorial.js

teacher-buttons

 * button-checked|button-checked.js