fix washing of HTML encoded in something other than UTF-8

svncommit

2009-07-30 659672ebf9472893629235541d131e20be789008

 program/lib/washtml.php

@@ -246,6 +246,7 @@
    //Charset seems to be ignored (probably if defined in the HTML document)
    $node = new DOMDocument('1.0', $this->config['charset']);
    $this->extlinks = false;
    $html = mb_convert_encoding($html, 'HTML-ENTITIES', $this->config['charset']);
    @$node->loadHTML($html);
    return $this->dumpHtml($node);
  }