Use typed property in PDOException

Author: kocsismate

ext/pdo/pdo.stub.php

@@ -4,8 +4,7 @@
 
 class PDOException extends RuntimeException
 {
-    /** @var array|null */
-    public $errorInfo;
+    public ?array $errorInfo = null;
 }
 
 function pdo_drivers(): array {}

ext/pdo/pdo_arginfo.h

@@ -1,5 +1,5 @@
 /* This is a generated file, edit the .stub.php file instead.
- * Stub hash: e5e41e3d0ae7a506b43996b6071047755a39d61a */
+ * Stub hash: 5cb75e0f0869651dd616b11c3bd0d407deb3c6df */
 
 ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX(arginfo_pdo_drivers, 0, 0, IS_ARRAY, 0)
 ZEND_END_ARG_INFO()
@@ -28,7 +28,7 @@ static zend_class_entry *register_class_PDOException(zend_class_entry *class_ent
 	zval property_errorInfo_default_value;
 	ZVAL_NULL(&property_errorInfo_default_value);
 	zend_string *property_errorInfo_name = zend_string_init("errorInfo", sizeof("errorInfo") - 1, 1);
-	zend_declare_property_ex(class_entry, property_errorInfo_name, &property_errorInfo_default_value, ZEND_ACC_PUBLIC, NULL);
+	zend_declare_typed_property(class_entry, property_errorInfo_name, &property_errorInfo_default_value, ZEND_ACC_PUBLIC, NULL, (zend_type) ZEND_TYPE_INIT_MASK(MAY_BE_ARRAY|MAY_BE_NULL));
 	zend_string_release(property_errorInfo_name);
 
 	return class_entry;