+ protected function getPageContent(Url $url)
+ {
+ $options = array('http' => array('user_agent' => 'poche'));
+ if (isset($_SERVER['AUTH_TYPE']) && "basic" === strtolower($_SERVER['AUTH_TYPE'])) {
+ $options['http']['header'] = sprintf(
+ "Authorization: Basic %s",
+ base64_encode(
+ sprintf('%s:%s', $_SERVER['PHP_AUTH_USER'], $_SERVER['PHP_AUTH_PW'])
+ )
+ );
+ }
+ $context = stream_context_create($options);
+ $json = file_get_contents(Tools::getPocheUrl() . '/inc/3rdparty/makefulltextfeed.php?url='.urlencode($url->getUrl()).'&max=5&links=preserve&exc=&format=json&submit=Create+Feed', false, $context);
+ return json_decode($json, true);
+ }
+