// PHP 8
htmlspecialchars($string, double_encode: false);