in webserver/article.php [57:84]
function get_html_markup($url) {
$cache_key = $url;
$possible_html_markup = try_get_cached_value($cache_key, CACHE_KEY_TYPE_URL);
// Cache hit
if (!is_null($possible_html_markup))
return $possible_html_markup;
// Cache miss
$context_options = stream_context_create(array(
"ssl"=>array(
"verify_peer"=>false,
"verify_peer_name"=>false,
),
'http'=>array(
'header'=>"User-Agent: facebookexternalhit/1.1\r\n"
),
));
// Fetch the URL
//--------------
$content = file_get_contents($url, false, $context_options);
try_set_cached_value($cache_key, $content, CACHE_KEY_TYPE_URL);
return $content;
}