curl: update CURLINFO
authorMichael Wallner <mike@php.net>
Wed, 31 May 2023 15:27:39 +0000 (17:27 +0200)
committerMichael Wallner <mike@php.net>
Mon, 5 Feb 2024 19:17:07 +0000 (20:17 +0100)
commit61bceaf39e055ba23af3c901bdfc601241eb604a
tree9d1b392d992f36b7d3fdf94d382dc8d9ed5818f5
parent7781f0396a87655af07765e762278ad0aef03401
curl: update CURLINFO
BUGS
scripts/gen_curlinfo.php
src/php_http_client_curl.c