curl produces different results on my machine... adding it back manually

ildyria · ildyria · commit 27c2f28161f2 · 2022-10-05T12:56:26.000+02:00
diff --git a/generated/curl.php b/generated/curl.php
@@ -3109,6 +3109,17 @@ function curl_multi_setopt(\CurlMultiHandle $multi_handle, int $option, $value):
  *
  *
  *
+ * CURLOPT_XFERINFOFUNCTION
+ *
+ * A callback accepting two parameters.
+ * Has a similar purpose as CURLOPT_PROGRESSFUNCTION but is more modern
+ * and the preferred option from cURL.
+ *
+ *
+ * Added in 7.32.0. Available as of PHP 8.2.0.
+ *
+ *
+ *
  *
  *
  *

Original file line number	Diff line number	Diff line change
`@@ -3109,6 +3109,17 @@ function curl_multi_setopt(\CurlMultiHandle $multi_handle, int $option, $value):`
`3109`	`3109`	`*`
`3110`	`3110`	`*`
`3111`	`3111`	`*`
	`3112`	`+ * CURLOPT_XFERINFOFUNCTION`
	`3113`	`+ *`
	`3114`	`+ * A callback accepting two parameters.`
	`3115`	`+ * Has a similar purpose as CURLOPT_PROGRESSFUNCTION but is more modern`
	`3116`	`+ * and the preferred option from cURL.`
	`3117`	`+ *`
	`3118`	`+ *`
	`3119`	`+ * Added in 7.32.0. Available as of PHP 8.2.0.`
	`3120`	`+ *`
	`3121`	`+ *`
	`3122`	`+ *`
`3112`	`3123`	`*`
`3113`	`3124`	`*`
`3114`	`3125`	`*`