*/ public array $highlights = []; /** * The URL of the source file in which this line appears. * * For lines created from spans without an explicit URL, this is an opaque * object that differs between lines that come from different spans. */ public readonly object $url; /** * @param int $number The O-based line number in the source file */ public function __construct( public readonly string $text, public readonly int $number, object $url, ) { $this->url = $url; } }