diff options
Diffstat (limited to 'vendor/open-telemetry/sdk/Metrics/PushMetricExporterInterface.php')
-rw-r--r-- | vendor/open-telemetry/sdk/Metrics/PushMetricExporterInterface.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/vendor/open-telemetry/sdk/Metrics/PushMetricExporterInterface.php b/vendor/open-telemetry/sdk/Metrics/PushMetricExporterInterface.php new file mode 100644 index 000000000..d24b0e396 --- /dev/null +++ b/vendor/open-telemetry/sdk/Metrics/PushMetricExporterInterface.php @@ -0,0 +1,12 @@ +<?php + +declare(strict_types=1); + +namespace OpenTelemetry\SDK\Metrics; + +use OpenTelemetry\SDK\Metrics; + +interface PushMetricExporterInterface extends Metrics\MetricExporterInterface +{ + public function forceFlush(): bool; +} |