[Bug 21703] New: appendWindowEnd type should be type "unrestricted double" since it is initially set to positive Infinity

https://www.w3.org/Bugs/Public/show_bug.cgi?id=21703

            Bug ID: 21703
           Summary: appendWindowEnd type should be type "unrestricted
                    double" since it is initially set to positive Infinity
    Classification: Unclassified
           Product: HTML WG
           Version: unspecified
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Media Source Extensions
          Assignee: adrianba@microsoft.com
          Reporter: jdsmith@microsoft.com
        QA Contact: public-html-bugzilla@w3.org
                CC: mike@w3.org, public-html-media@w3.org

A type "double" cannot be set to Infinity.  Changing appendWindowEnd to type
"unrestricted double" will allow this initial value.

-- 
You are receiving this mail because:
You are on the CC list for the bug.

Received on Monday, 15 April 2013 23:33:04 UTC