From cdd7ad020e165fe680703b6d3319b908b682fb7a Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@fakecake.org>
Date: Fri, 20 Oct 2023 17:12:29 +0300
Subject: jaeger-client -> opentelemetry

---
 .../Resources/stubs/Random/RandomError.php          | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomError.php

(limited to 'vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomError.php')

diff --git a/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomError.php b/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomError.php
new file mode 100644
index 000000000..bf5e89e01
--- /dev/null
+++ b/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomError.php
@@ -0,0 +1,21 @@
+<?php
+
+/*
+ * This file is part of the Symfony package.
+ *
+ * (c) Fabien Potencier <fabien@symfony.com>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+namespace Random;
+
+use Symfony\Polyfill\Php82\NoDynamicProperties;
+
+if (\PHP_VERSION_ID < 80200) {
+    class RandomError extends \Error
+    {
+        use NoDynamicProperties;
+    }
+}
-- 
cgit v1.2.3