SnakingSappyGoat

Reconsider extension check in opentelemetry-auto-pdo

7

The `open-telemetry/opentelemetry-auto-pdo` package triggers a PHP warning if the extension is not loaded: https://github.com/opentelemetry-php/contrib-auto-pdo/blob/38910f71b9cf75da989bd06711339ff5459442d1/_register.php#L13 This is a bit of a nuisance for local development, because it for example makes PHPStan...