Remote file size without downloading file

Question

Is there a way to get the size of a remote file http://my_url/my_file.txt without downloading the file?

Answer 1

one line best solution :

echo array_change_key_case(get_headers("http://.../file.txt",1))['content-length'];

php is too delicius

function urlsize($url):int{
   return array_change_key_case(get_headers($url,1))['content-length'];
}

echo urlsize("http://.../file.txt");