Hmmm ... I wasn't following your explanation well... perhaps it's a language thing.
Confirmed.
This will only affect things if you are using SMTP email and are not using the standard Port 25 for sending mail.... which would be a rare occasion unless running from behind a firewall at home etc.
functions_email.php
replace
PHP Code:
$mail->Host = EMAIL_SMTPAUTH_MAIL_SERVER;
with
PHP Code:
$mail->Host = EMAIL_SMTPAUTH_MAIL_SERVER;
if (EMAIL_SMTPAUTH_MAIL_PORT != '25' & EMAIL_SMTPAUTH_MAIL_PORT != '') $mail->Port = EMAIL_SMTPAUTH_MAIL_PORT;