Translations:Manual:$wgDBport/7/en

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