public static function header_content_text_html($charset = null) { if ($charset == null) { $charset = HTMLHelper::get_html_charset($charset); } @header("Content-Type: text/html; charset=\"{$charset}\""); }