fix: add Override attribute

cedricziel · cedricziel · commit ab6c86a33669 · 2025-04-01T12:15:26.000+02:00
diff --git a/src/Propagation/ServerTiming/src/ServerTimingPropagator.php b/src/Propagation/ServerTiming/src/ServerTimingPropagator.php
@@ -30,6 +30,7 @@ public function fields(): array
         ];
     }
 
+    #[\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,7 @@ public function fields(): array`
`30`	`30`	`];`
`31`	`31`	`}`
`32`	`32`
	`33`	`+ #[\Override]`
`33`	`34`	`public function inject(&$carrier, ?PropagationSetterInterface $setter = null, ?ContextInterface $context = null): void`
`34`	`35`	`{`
`35`	`36`	`$setter = $setter ?? ArrayAccessGetterSetter::getInstance();`