Apply strict properties

php · nielsdos · Nov 13, 2023 · Aug 25, 2023 · Aug 25, 2023 · Aug 25, 2023
commit d906c0dc9f81c7c8e5bf28c08fd046125f4954e7
@@ -1133,6 +1133,7 @@ public function prepend(...$nodes): void {}
         public function replaceChildren(...$nodes): void {}
     }
 
+    /** @strict-properties */
     final class HTMLDocument extends DOM\Document
     {
         private function __construct() {}
@@ -1154,6 +1155,7 @@ public function saveHTML(?Node $node = null): string|false {}
         public function saveHTMLFile(string $filename): int|false {}
     }
 
+    /** @strict-properties */
     final class XMLDocument extends DOM\Document
     {
         /** @implementation-alias DOM\HTMLDocument::__construct */