client_curl_user: fix arginfo
authorMichael Wallner <mike@php.net>
Wed, 24 May 2023 11:57:27 +0000 (13:57 +0200)
committerMichael Wallner <mike@php.net>
Thu, 25 May 2023 11:04:10 +0000 (13:04 +0200)
commitb13eb9ae54f8df02628d1690ee1f092c5f357f75
treeb9582eaad0659e2dd83b581b18e8a66a94590dd2
parent435d451fbaaa8b88bd3215f9598b437929f57dee
client_curl_user: fix arginfo
src/php_http_client_curl_user.c