private function htmlEncode($s)
{
$html = '';
$dumper = new HtmlDumper(function ($line) use(&$html) {
$html .= $line;
}, $this->charset);
$dumper->setDumpHeader('');
$dumper->setDumpBoundaries('', '');
$cloner = new VarCloner();
$dumper->dump($cloner->cloneVar($s));
return substr(strip_tags($html), 1, -1);
}