diff options
Diffstat (limited to 'ext/w32api/w32api.c')
| -rw-r--r-- | ext/w32api/w32api.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/w32api/w32api.c b/ext/w32api/w32api.c index 8e8e5a34b3..7edd607a2e 100644 --- a/ext/w32api/w32api.c +++ b/ext/w32api/w32api.c @@ -2178,8 +2178,8 @@ arguments *w32api_parser_make_argument(char *arg_type, char *arg_name, int byref argument_value->type_name = arg_type; argument_value->type_id = php_w32api_get_type_id_from_name(arg_type); - if(argument_value->type_id == W32API_UNKNOWN) - { + if(argument_value->type_id == W32API_UNKNOWN) { + TSRMLS_FETCH(); php_error_docref(NULL TSRMLS_CC, E_NOTICE, "Unknown type %s used as arugment type", arg_type); } |