Merge branch 'PHP-8.1' into PHP-8.2

* PHP-8.1:
  Fix json_encode result on DOMDocument

Author: nielsdos

NEWS

@@ -14,6 +14,7 @@ PHP                                                                        NEWS
   . Fix empty argument cases for DOMParentNode methods. (nielsdos)
   . Fixed bug GH-11791 (Wrong default value of DOMDocument::xmlStandalone).
     (nielsdos)
+  . Fix json_encode result on DOMDocument. (nielsdos)
 
 - FFI:
   . Fix leaking definitions when using FFI::cdef()->new(...). (ilutov)

ext/dom/php_dom.stub.php

@@ -668,7 +668,7 @@ class DOMDocument extends DOMNode implements DOMParentNode
      * @readonly
      * @deprecated
      */
-    public mixed $config = null;
+    public mixed $config;
 
     public bool $formatOutput;
 

ext/dom/php_dom_arginfo.h

@@ -0,0 +1,11 @@
+--TEST--
+JSON encoding a DOMDocument
+--EXTENSIONS--
+dom
+--FILE--
+<?php
+$doc = new DOMDocument;
+echo json_encode($doc);
+?>
+--EXPECT--
+{}

ext/dom/tests/DOMDocument_json_encode.phpt

@@ -17,8 +17,6 @@ var_dump($d);
 --EXPECTF--
 Deprecated: Creation of dynamic property DOMDocument::$dynamicProperty is deprecated in %s on line %d
 object(DOMDocument)#1 (39) {
-  ["config"]=>
-  NULL
   ["dynamicProperty"]=>
   object(stdClass)#2 (0) {
   }
@@ -46,6 +44,8 @@ object(DOMDocument)#1 (39) {
   bool(true)
   ["documentURI"]=>
   string(%d) %s
+  ["config"]=>
+  NULL
   ["formatOutput"]=>
   bool(false)
   ["validateOnParse"]=>