Help with transferring servers (form api)

Hi, i have been coding a form plugin for my server and in the case 1 part of my form how to i make a player transfer servers ?

 

Use:

PHP:

case 1:
    $player->transfer("server.IP", /*server_Port (int)*/);
break;

Example:

PHP:

case 1:
    $player->transfer("endergames.ddns.net", 25331);
break;

 

Thanks !

 

You can as well use numeric IP