Add port number in PHPUnit bootstrap file