Use typed properties in php_user_filter

Author: kocsismate

ext/standard/user_filters.stub.php

@@ -4,10 +4,8 @@
 
 class php_user_filter
 {
-    /** @var string */
-    public $filtername = "";
-    /** @var string */
-    public $params = "";
+    public string $filtername = "";
+    public mixed $params = "";
 
     /**
      * @param resource $in

ext/standard/user_filters_arginfo.h

@@ -1,5 +1,5 @@
 /* This is a generated file, edit the .stub.php file instead.
- * Stub hash: d0653a1b2a1f33744b41a9b5f047ec4330bac091 */
+ * Stub hash: d4044dd3037954ce035142577a5476bb2d403c76 */
 
 ZEND_BEGIN_ARG_INFO_EX(arginfo_class_php_user_filter_filter, 0, 0, 4)
 	ZEND_ARG_INFO(0, in)
@@ -36,13 +36,13 @@ static zend_class_entry *register_class_php_user_filter(void)
 	zval property_filtername_default_value;
 	ZVAL_EMPTY_STRING(&property_filtername_default_value);
 	zend_string *property_filtername_name = zend_string_init("filtername", sizeof("filtername") - 1, 1);
-	zend_declare_property_ex(class_entry, property_filtername_name, &property_filtername_default_value, ZEND_ACC_PUBLIC, NULL);
+	zend_declare_typed_property(class_entry, property_filtername_name, &property_filtername_default_value, ZEND_ACC_PUBLIC, NULL, (zend_type) ZEND_TYPE_INIT_MASK(MAY_BE_STRING));
 	zend_string_release(property_filtername_name);
 
 	zval property_params_default_value;
 	ZVAL_EMPTY_STRING(&property_params_default_value);
 	zend_string *property_params_name = zend_string_init("params", sizeof("params") - 1, 1);
-	zend_declare_property_ex(class_entry, property_params_name, &property_params_default_value, ZEND_ACC_PUBLIC, NULL);
+	zend_declare_typed_property(class_entry, property_params_name, &property_params_default_value, ZEND_ACC_PUBLIC, NULL, (zend_type) ZEND_TYPE_INIT_MASK(MAY_BE_ANY));
 	zend_string_release(property_params_name);
 
 	return class_entry;