Manual talk:$wgDBport

From mediawiki.org

why?

function open( $server, $user, $password, $dbName , $dbPort = '5432') { //[...] @/**/$this->mConn = mysql_pconnect( $server.':'.$dbport, $user, $password );