Use virtual annotation in XMLReader

All properties of XMLReader are virtual and therefore don't need backing
storage.

Author: nielsdos

ext/xmlreader/php_xmlreader.stub.php

@@ -99,32 +99,46 @@ class XMLReader
     public const int SUBST_ENTITIES = UNKNOWN;
 
 
+    /** @virtual */
     public int $attributeCount;
 
+    /** @virtual */
     public string $baseURI;
 
+    /** @virtual */
     public int $depth;
 
+    /** @virtual */
     public bool $hasAttributes;
 
+    /** @virtual */
     public bool $hasValue;
 
+    /** @virtual */
     public bool $isDefault;
 
+    /** @virtual */
     public bool $isEmptyElement;
 
+    /** @virtual */
     public string $localName;
 
+    /** @virtual */
     public string $name;
 
+    /** @virtual */
     public string $namespaceURI;
 
+    /** @virtual */
     public int $nodeType;
 
+    /** @virtual */
     public string $prefix;
 
+    /** @virtual */
     public string $value;
 
+    /** @virtual */
     public string $xmlLang;
 
     /** @tentative-return-type */

ext/xmlreader/php_xmlreader_arginfo.h

@@ -0,0 +1,34 @@
+--TEST--
+Virtual property tests
+--EXTENSIONS--
+xmlreader
+--FILE--
+<?php
+
+$rc = new ReflectionClass(XMLReader::class);
+$prop = $rc->getProperty("nodeType");
+var_dump($prop->isVirtual());
+var_dump($prop->getSettableType());
+var_dump($prop->getHooks());
+var_dump($prop->getRawValue(new XMLReader));
+var_dump($prop->getValue(new XMLReader));
+
+$reader = XMLReader::XML("<root>hi</root>");
+var_dump(json_encode($reader));
+var_export($reader); echo "\n";
+var_dump(get_object_vars($reader));
+
+?>
+--EXPECTF--
+bool(true)
+object(ReflectionNamedType)#%d (0) {
+}
+array(0) {
+}
+int(0)
+int(0)
+string(2) "{}"
+\XMLReader::__set_state(array(
+))
+array(0) {
+}