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

You can edit, AFAIK. :)