Fix up double->DOMHighResTimeStamp references.

cwilso · cwilso · commit 0de93575841f · 2015-10-25T16:11:27.000+09:00
Fixes #143.
diff --git a/index.html b/index.html
@@ -402,7 +402,7 @@ <h2 id="MIDIPort"><a>MIDIPort</a> Interface</h2>
         </dd>
         <dt>closed</dt>
         <dd>
-          The device that MIDIPort represents has not been opened, or has been explicitly closed.  Until a MIDIPort has been opened either explicitly (through <code><a href="#widl-MIDIPort-open-Promise-MIDIPort">open()</a></code>) or implicitly (by adding a <a href="#widl-MIDIInput-onmidimessage">midimessage</a> event handler on an input port, or calling <a href="#widl-MIDIOutput-send-void-sequence-octet--data-double-timestamp">send()</a> on an output port, this should be the default state of the device.
+          The device that MIDIPort represents has not been opened, or has been explicitly closed.  Until a MIDIPort has been opened either explicitly (through <code><a href="#widl-MIDIPort-open-Promise-MIDIPort">open()</a></code>) or implicitly (by adding a <a href="#widl-MIDIInput-onmidimessage">midimessage</a> event handler on an input port, or calling <a href="#widl-MIDIOutput-send-void-sequence-octet--data-DOMHighResTimeStamp-timestamp">send()</a> on an output port, this should be the default state of the device.
         </dd>
         <dt>pending</dt>
         <dd>
@@ -742,7 +742,7 @@ <h3 id="MIDIOutput"><a>MIDIOutput</a> Interface</h3>
 
         <dl title="interface MIDIOutput : MIDIPort"
             class="idl">
-          <dt>void send( sequence&lt;octet&gt; data, optional double timestamp = 0 )</dt>
+          <dt>void send( sequence&lt;octet&gt; data, optional DOMHighResTimeStamp timestamp = 0 )</dt>
           <dd>
             <p>
               Enqueues the message to be sent to the corresponding MIDI port.  The underlying implementation will (if necessary) coerce each member of the sequence to an unsigned 8-bit integer.  The use of sequence rather than a Uint8Array enables developers to use the convenience of <code>output.send( [ 0x90, 0x45, 0x7f ] );</code> rather than having to create a Uint8Array, e.g. <code>output.send( new Uint8Array( [ 0x90, 0x45, 0x7f ] ) );</code> - while still enabling use of Uint8Arrays for efficiency in large MIDI data scenarios (e.g. reading Standard MIDI Files and sending sysex messages).
@@ -773,7 +773,7 @@ <h3 id="MIDIOutput"><a>MIDIOutput</a> Interface</h3>
               <dd>
                 The data to be enqueued, with each sequence entry representing a single byte of data.  
               </dd>
-              <dt>optional double timestamp</dt>
+              <dt>optional DOMHighResTimeStamp timestamp</dt>
               <dd>
                 The time at which to begin sending the data to the port (as a <a href="#DomHighResTimeStampDfn">DOMHighResTimeStamp</a> - a number of milliseconds measured relative to the navigation start of the document).  If <code>timestamp</code> is set to zero (or another time in the past), the data is to be sent as soon as possible.
               </dd>
@@ -792,7 +792,7 @@ <h2 id="MIDIMessageEvent"><a>MIDIMessageEvent</a> Interface</h2>
       <p>An event object implementing this interface is passed to a MIDIInput's onmidimessage handler when MIDI messages are received.</p>
       <dl title="[Constructor(DOMString type, optional MIDIMessageEventInit eventInitDict)] interface MIDIMessageEvent : Event"
           class="idl">
-        <dt>readonly attribute double receivedTime</dt>
+        <dt>readonly attribute DOMHighResTimeStamp receivedTime</dt>
         <dd>
           <p>A <code>DOMHighResTimeStamp</code> specifying when the event occurred.</p>
           <p class="note">The DOM4 <a class="externalDFN">Event</a> object has a timeStamp member in the event object that will be filled out with the current time, but that it is lower precision (DOMTimeStamp is defined as an integer number of milliseconds), has a different zero reference (DOMTimeSTamp is the number of milliseconds that has passed since 00:00:00 UTC on 1 January 1970), and therefore is less suitable for MIDI applications.</p>
@@ -806,7 +806,7 @@ <h2 id="MIDIMessageEvent"><a>MIDIMessageEvent</a> Interface</h2>
         <h2 id="MIDIMessageEventInit"><a>MIDIMessageEventInit</a> Interface</h2>
         <dl title="dictionary MIDIMessageEventInit : EventInit"
             class="idl">
-          <dt>double receivedTime</dt>
+          <dt>DOMHighResTimeStamp receivedTime</dt>
           <dd>
             <p>A <code>DOMHighResTimeStamp</code> specifying when the event occurred.</p>
           </dd>
