}
if (!isset($headers['Content-Length'])) {
throw new HttpException("Did not receive a Content-Length header from HEAD $url");
}
}
if (!isset($headers['Content-Length'])) {
throw new HttpException("Did not receive a Content-Length header from HEAD $url");
}