PHP: set get_headers timeout

get_headers-timeout.php

<?php

$url = 'https://upload.wikimedia.org/wikipedia/commons/thumb/2/27/PHP-logo.svg/100px-PHP-logo.svg.png';

// Store previous default context
$prev = stream_context_get_options(stream_context_get_default());

// Set a small timeout
stream_context_set_default([
    'http' => [
        'timeout' => 3, // seconds
    ]
]);

// Do the head request
$req = @get_headers($url, true);

if (!empty($req)) {
    // Do some useful stuff here
    print_r($req);
}

// Restore previous default context
stream_context_set_default($prev);