In order to add a 'Port' attribute to /Config/DataSource/Database in Config.xml file; you need to:
1. bin/Configuration.php@57
$tmp["Port"] = $db["ATTRIBUTES"]["PORT"];
2. bin/BizSystem.php
$params = array ('host' => $dbinfo["Server"],
'username' => $dbinfo["User"],
'password' => $dbinfo["Password"],
'dbname' => $dbinfo["DBName"],
'port' => $dbinfo['Port']);