http - Easiest way to grab filesize of remote file in PHP?

Question

I was thinking of doing a head request with cURL, was wondering if this is the way to go?

Answer 1

The best solution which follows the KISS principle

$head = array_change_key_case(get_headers("http://example.com/file.ext", 1));
$filesize = $head['content-length'];