Called when a player is removed (deleted) from the game. This is markedly different from a player temporarily leaving the game, and instead behaves like the player never existed in the save file.
player_index: uint32 — The index of the removed player.name: defines.events — Identifier of the eventtick: uint32 — Tick the event was generated.