Re: [whatwg/fetch] Use Web IDL's new record type (#412)

TimothyGu commented on this pull request.



> @@ -4039,17 +4039,7 @@ fetch("/music/pk/altes-kamuffel.flac")
 
 <h3 id=headers-class>Headers class</h3>
 
-<pre data-no-idl class=idl>typedef (Headers or sequence&lt;sequence&lt;ByteString>> or OpenEndedDictionary&lt;ByteString>) <dfn id=headersinit typedef export>HeadersInit</dfn>;</pre>
-
-<div class=XXX>
- <p>OpenEndedDictionary&lt;T> is a future IDL construct. Expect it to be used as such:
-
- <pre>
-var meta = { "Content-Type": "text/xml", "Breaking-Bad": "&lt;3" }
-new Headers(meta)</pre>
-
- <p>See <a href=https://github.com/whatwg/fetch/issues/164>issue #164</a> for discussion.
-</div>
+<pre data-no-idl class=idl>typedef (Headers or sequence&lt;sequence&lt;ByteString>> or record&lt;ByteString, ByteString>) <dfn id=headersinit typedef export>HeadersInit</dfn>;</pre>

That and the manual `<dfn>` removed.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/fetch/pull/412