current_player_changed


Description:

public void current_player_changed (PlayersList? old_player)