public static function add_header($header) { if (is_null(self::$header_tags)) { self::$header_tags = array(); } if (!array_key_exists($header, self::$header_tags)) { self::$header_tags[$header] = $header; } }
public static function add_header($header) { if (is_null(self::$header_tags)) { self::$header_tags = array(); } if (!array_key_exists($header, self::$header_tags)) { self::$header_tags[$header] = $header; } }