Translations:Manual:$wgDBport/7/en

See $1 if you need a non-standard port for MySQL.