Update HtmlTools.php