Called after a player leaves the game. This is not called when closing a save file in singleplayer, as the player doesn't actually leave the game, and the save is just on pause until they rejoin.
player_index: uint32reason: defines.disconnect_reasonname: defines.events — Identifier of the eventtick: uint32 — Tick the event was generated.