fix: ignore missing attribute

cedricziel · cedricziel · commit a3911d4e7240 · 2025-04-01T12:48:04.000+02:00
diff --git a/src/Propagation/ServerTiming/src/ServerTimingPropagator.php b/src/Propagation/ServerTiming/src/ServerTimingPropagator.php
@@ -30,6 +30,9 @@ public function fields(): array
         ];
     }
 
+    /**
+     * @suppress PhanUndeclaredClassAttribute
+     */
     #[\Override]
     public function inject(&$carrier, ?PropagationSetterInterface $setter = null, ?ContextInterface $context = null): void
     {

Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,9 @@ public function fields(): array`
`30`	`30`	`];`
`31`	`31`	`}`
`32`	`32`
	`33`	`+ /**`
	`34`	`+ * @suppress PhanUndeclaredClassAttribute`
	`35`	`+ */`
`33`	`36`	`#[\Override]`
`34`	`37`	`public function inject(&$carrier, ?PropagationSetterInterface $setter = null, ?ContextInterface $context = null): void`
`35`	`38`	`{`