Fixes vimeo#7810

gphargreaves · Oct 16, 2022 · ea39a6e · ea39a6e
1 parent 9218017
commit ea39a6e
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/stubs/Php80.phpstub b/stubs/Php80.phpstub
@@ -57,6 +57,8 @@ class ReflectionClassConstant
 
 class Attribute
 {
+    public int $flags;
+
     public const TARGET_CLASS = 1;
     public const TARGET_FUNCTION = 2;
     public const TARGET_METHOD = 4;

diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
@@ -88,6 +88,16 @@ class ReflectionProperty implements Reflector
      * @psalm-mutation-free
      */
     public function getType() : ?ReflectionType {}
+
+    /**
+    * @since 8.0
+    */
+    public function hasDefaultValue(): bool {}
+
+    /**
+    * @since 8.0
+    */
+    public function isPromoted(): bool {}
 }
 
 class ReflectionMethod implements Reflector
@@ -132,6 +142,11 @@ class ReflectionParameter implements Reflector {
      * @return ($name is null ? array<ReflectionAttribute<object>> : array<ReflectionAttribute<TClass>>)
      */
     public function getAttributes(?string $name = null, int $flags = 0): array {}
+
+    /**
+    * @since 8.0
+    */
+    public function isPromoted(): bool {}
 }
 
 /**