Called when the player completes a mining action, but before the entity is potentially removed from the map. This is called even if the entity does not end up being removed.
entity: LuaEntity — The entity being minedplayer_index: uint32name: defines.events — Identifier of the eventtick: uint32 — Tick the event was generated.