Added support for setting the MySQL port

set $dbport in config.php to something other than 3306 if needed.