Support curl timeout in milliseconds in WordPress.

wordpress-curl-timeout-milliseconds.php

<?php

function adjust_curl_timeout( $handle, $r, $url ) {
	if ( ! isset( $r['timeout'] ) ) {
		return;
	}
	
	$timeout = $r['timeout'];
	if( ! is_float( $timeout ) ) {
		return;
	}
	
	$timeout = (int) ceil( $timeout * 1000 );
	curl_setopt( $handle, CURLOPT_CONNECTTIMEOUT_MS, $timeout );
	curl_setopt( $handle, CURLOPT_TIMEOUT_MS, $timeout );
}

add_action( 'http_api_curl', 'adjust_curl_timeout', 10, 3 );