2.1.2 [W3C-HTML5WEBMSG] Section 5.3 Message ports

V0005: The postMessage function does not define the proper arguments

The specification states:

 5.3 Message ports
 interface MessagePort : EventTarget {
   void postMessage(any message, optional sequence<Transferable> transfer);
   void start();
   void close();
   // event handlers
   attribute EventHandler onmessage;

IE11 Mode (All versions)

The postMessage function is incorrectly defined as:

void postMessage(optional any message, optional any ports);