Remove duplicate option name (#1853)

Denitz · web-flow · commit c15838a8735f · 2025-06-08T04:21:54.000Z
diff --git a/src/functions.php b/src/functions.php
@@ -57,7 +57,6 @@
  *     send_attempts?: int,
  *     send_default_pii?: bool,
  *     server_name?: string,
- *     server_name?: string,
  *     spotlight?: bool,
  *     spotlight_url?: string,
  *     strict_trace_propagation?: bool,
