<?phpnamespace App\Data;use App\Game\RoomExtra;/** A level definition extra: a lantern or a teleporter placed in a room. */final class Extra{ public function __construct( public int $type = RoomExtra::LANTERN, public int $room = 0, public int $y = 0, public int $x = 0, public int $toRoom = 0, public int $toY = 0, public int $toX = 0, ) { }}