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

Please migrate em to ResourceLoader thx.