Summary:Support/MediaWiki:Gadget-MsgToPortal.js, MediaWiki:Gadget-renameuser.js, and MediaWiki:Gadget-editbuttons.js

Diff 6402588, thx