Called when the display resolution changes for a given player.
player_index: uint32 — The playerold_resolution: DisplayResolution — The old display resolutionname: defines.events — Identifier of the eventtick: uint32 — Tick the event was generated.