MediaWiki:Gadgets-definition

user-interface

 * summary|summary.js
 * disclaimer-hid|disclaimer-hid.js
 * pers-menu-show|pers-menu-show.js