Update HtmlPrinter.php