PHP file_get_contents игнорирует тайм-аут?

$url = 'http://a.url/i-know-is-down';

//ini_set('default_socket_timeout', 5);

$ctx = stream_context_create(array(
    'http' => array(
        'timeout' => 5,
        'ignore_errors' => true
        )
    )
);

$start = microtime(true);
$content = @file_get_contents($url, false, $ctx);
$end = microtime(true);
echo $end - $start, "\n";

Я получаю обычно 21,232 сегмента, не должно быть около пяти секунд ?? ?

Раскомментирование строки ini_set совсем не помогает.