');
+ $article_html = file_get_contents($article_url) or $this->returnError('Could not request '.$this->getName().': '.$article_url, 500);
+ if (substr($article_html, 0, 2) == "\x1f\x8b") //http://www.gzip.org/zlib/rfc-gzip.html#header-trailer -> GZip ID1
+ $article_html = gzdecode($article_html); //Response is GZipped even if we didn't accept GZip!? Let's decompress...
+ $article_html = str_get_html($article_html); //Now we have our HTML data. But still, that's an important HTTP violation...
+ $article_content = $article_html->find('div.wlistingsingletext', 0)->innertext;
+ $article_content = StripWithDelimiters($article_content, '