DOMNode::$parentElement and $isConnected available since PHP 8.3

JetBrains · Jul 3, 2024 · d5a8396 · d5a8396
1 parent ce4a493
commit d5a8396
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/dom/dom_c.php b/dom/dom_c.php
@@ -142,7 +142,11 @@ class DOMNode
      */
     #[LanguageLevelTypeAware(['8.1' => 'string'], default: '')]
     public $textContent;
+
+    #[PhpStormStubsElementAvailable(from: '8.3')]
     public bool $isConnected;
+
+    #[PhpStormStubsElementAvailable(from: '8.3')]
     public ?DOMElement $parentElement;
 
     /**