function done($ok, $msg) { if (!headers_sent()) header("Content-Type: text/html; charset=utf-8"); $hmsg = htmlspecialchars((string)$msg, ENT_QUOTES, 'UTF-8'); echo '
'.$hmsg.'