Redefine PDOException::$code with correct type

Closes GH-7839
This commit is contained in:
Máté Kocsis 2021-12-28 14:06:12 +01:00
parent 694c44a0dc
commit 96a5026bfd
No known key found for this signature in database
GPG Key ID: FD055E41728BF310
2 changed files with 9 additions and 1 deletions

View File

@ -4,6 +4,8 @@
class PDOException extends RuntimeException
{
/** @var int|string */
protected $code = 0;
public ?array $errorInfo = null;
}

View File

@ -1,5 +1,5 @@
/* This is a generated file, edit the .stub.php file instead.
* Stub hash: 52ee252fdfc80d4d076f1c49842e333c27ed5102 */
* Stub hash: 8d975a20d009e827f8d72ac19b94b55870b6bf9c */
ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX(arginfo_pdo_drivers, 0, 0, IS_ARRAY, 0)
ZEND_END_ARG_INFO()
@ -25,6 +25,12 @@ static zend_class_entry *register_class_PDOException(zend_class_entry *class_ent
INIT_CLASS_ENTRY(ce, "PDOException", class_PDOException_methods);
class_entry = zend_register_internal_class_ex(&ce, class_entry_RuntimeException);
zval property_code_default_value;
ZVAL_LONG(&property_code_default_value, 0);
zend_string *property_code_name = zend_string_init("code", sizeof("code") - 1, 1);
zend_declare_property_ex(class_entry, property_code_name, &property_code_default_value, ZEND_ACC_PROTECTED, NULL);
zend_string_release(property_code_name);
zval property_errorInfo_default_value;
ZVAL_NULL(&property_errorInfo_default_value);
zend_string *property_errorInfo_name = zend_string_init("errorInfo", sizeof("errorInfo") - 1, 1);