public function encodeHtmlChars($s, $flags = null, $encode = null, $double_encode = false)
{
if ($flags === null) {
$flags = ENT_COMPAT;
}
if ($encode === null) {
$encode = ini_get('default_charset') ?: 'UTF-8';
}
return htmlspecialchars($s, $flags, $encode, $double_encode);
}