fix: add Override attribute to ServerTiming (#342)

cedricziel · web-flow · commit 6fdf3514e9b1 · 2025-04-08T08:56:27.000+10:00
* fix: add Override attribute

* fix: ignore missing attribute
diff --git a/src/ServerTimingPropagator.php b/src/ServerTimingPropagator.php
@@ -30,6 +30,10 @@ public function fields(): array
         ];
     }
 
+    /**
+     * @suppress PhanUndeclaredClassAttribute
+     */
+    #[\Override]
     public function inject(&$carrier, ?PropagationSetterInterface $setter = null, ?ContextInterface $context = null): void
     {
         $setter = $setter ?? ArrayAccessGetterSetter::getInstance();

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