Editing: MimeHeaderEncoderInterface.php