2015-04-01 17:45:56 +00:00
|
|
|
/**
|
|
|
|
|
* JS version of browser APIs. This library can only run in the browser.
|
|
|
|
|
*/
|
|
|
|
|
var win = window;
|
|
|
|
|
|
|
|
|
|
export {win as window};
|
|
|
|
|
export var document = window.document;
|
|
|
|
|
export var location = window.location;
|
2015-05-21 00:19:46 +00:00
|
|
|
export var gc = window['gc'] ? () => window['gc']() : () => null;
|
2015-09-04 21:44:24 +00:00
|
|
|
export var performance = window['performance'] ? window['performance'] : null;
|
2015-12-09 21:42:36 +00:00
|
|
|
export const Event = window['Event'];
|
|
|
|
|
export const MouseEvent = window['MouseEvent'];
|
|
|
|
|
export const KeyboardEvent = window['KeyboardEvent'];
|
|
|
|
|
export const EventTarget = window['EventTarget'];
|
|
|
|
|
export const History = window['History'];
|
|
|
|
|
export const Location = window['Location'];
|
|
|
|
|
export const EventListener = window['EventListener'];
|