MIDIMessageEvent: timestamp or timeStamp?

[anthony-de-jong]

While trying to implement the onmidimessage on a MIDIInput I couldn't get the timestamp to work.
According to 4.7.1 MIDIInput Interface under step 3 the attribute name should be timestamp.
According to 4.8 MIDIMessageEvent Interface it is timeStamp.

Also in 4.10.6 A Simple Loopback in EXAMPLE 8 is timestamp used instead of timeStamp.