vimeo#10026 added workaround for DateTimeInterface::__unserialize() s…

…ignature
kkmuffme · Jul 19, 2023 · 804087b · 804087b
1 parent 0f99799
commit 804087b
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tests/Traits/ValidCodeAnalysisTestTrait.php b/tests/Traits/ValidCodeAnalysisTestTrait.php
@@ -76,6 +76,19 @@ public function testValidCode(
         $codebase->enterServerMode();
         $codebase->config->visitPreloadedStubFiles($codebase);
 
+        if (version_compare(PHP_VERSION, '8.2.0', '>=')) {
+            $this->addStubFile(
+                'stubOne.phpstub',
+                '<?php
+                    namespace {
+                        interface DateTimeInterface {
+                            public function __unserialize(mixed[] $data) {}
+                        }
+                    }
+                ',
+            );
+        }
+
         $file_path = self::$src_dir_path . 'somefile.php';
 
         $this->addFile($file_path, $code);