Web MIDI: final IDL updates to conform the latest WD for shipping

Source/modules/webmidi/MIDIPort.idl

Index: Source/modules/webmidi/MIDIPort.idl
diff --git a/Source/modules/webmidi/MIDIPort.idl b/Source/modules/webmidi/MIDIPort.idl
index 95ae2369eebf8495733e94211b9929944457f796..d9b8a8ba8b5a9bebb789102de7d5ad44431eca2c 100644
--- a/Source/modules/webmidi/MIDIPort.idl
+++ b/Source/modules/webmidi/MIDIPort.idl
@@ -28,10 +28,15 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
-enum MIDIPortState {
+enum MIDIPortConnectionState {
+    "open",
+    "closed",
+    "pending"
+};
+
+enum MIDIPortDeviceState {
     "disconnected",
-    "connected",
-    "opened"
+    "connected"
 };
 
 enum MIDIPortType {
@@ -43,10 +48,11 @@ enum MIDIPortType {
     GarbageCollected,
     RuntimeEnabled=WebMIDI,
 ] interface MIDIPort : EventTarget {
+    readonly attribute MIDIPortConnectionState connection;
     readonly attribute DOMString id;
     readonly attribute DOMString manufacturer;
     readonly attribute DOMString name;
-    readonly attribute MIDIPortState state;
+    readonly attribute MIDIPortDeviceState state;
     readonly attribute MIDIPortType type;
     readonly attribute DOMString version;