Max Schaefer 7565eb263e JavaScript: Update externs for MessageEvent.

2019-06-26 19:12:05 -07:00

..

chrome.js

…

fetchapi.js

…

fileapi.js

…

flash.js

…

gecko_css.js

…

gecko_dom.js

…

gecko_event.js

…

gecko_ext.js

…

gecko_xml.js

…

html5.js

JavaScript: Update externs for MessageEvent.

2019-06-26 19:12:05 -07:00

ie_css.js

…

ie_dom.js

…

ie_event.js

…

ie_vml.js

…

intl.js

…

iphone.js

…

mediasource.js

…

page_visibility.js

…

streamsapi.js

…

url.js

…

w3c_anim_timing.js

…

w3c_batterystatus.js

…

w3c_css3d.js

…

w3c_css.js

…

w3c_device_sensor_event.js

…

w3c_dom1.js

JavaScript: Update model of DOMException.

2018-10-01 08:50:53 +01:00

w3c_dom2.js

…

w3c_dom3.js

…

w3c_dom4.js

…

w3c_elementtraversal.js

…

w3c_encoding.js

…

w3c_event3.js

…

w3c_event.js

…

w3c_gamepad.js

…

w3c_geolocation.js

…

w3c_indexeddb.js

…

w3c_midi.js

…

w3c_navigation_timing.js

…

w3c_permissions.js

…

w3c_pointer_events.js

…

w3c_range.js

…

w3c_requestidlecallback.js

…

w3c_rtc.js

JavaScript: Add WebRTC externs.

2018-11-12 12:25:32 +00:00

w3c_screen_orientation.js

…

w3c_selectors.js

…

w3c_serviceworker.js

…

w3c_touch_event.js

…

w3c_webcrypto.js

…

w3c_xml.js

…

webgl.js

…

webkit_css.js

…

webkit_dom.js

…

webkit_event.js

…

webkit_notifications.js

…

webkit_usercontent.js

…

webstorage.js

…

whatwg_encoding.js

…

window.js

…