Fix the History api

[falsandtru]

Fixes microsoft/TypeScript#10059

[falsandtru]

@zhengbli How can I remove declare var History?

[zhengbli]

Why do you need to remove the declare var History? We need a constructor for the instanceof operator to work, also according to microsoft/TypeScript#10059 (comment), console.log(History) does print something in Chrome.

[falsandtru]

history is defined in the following spec, but History is not.

https://html.spec.whatwg.org/multipage/browsers.html#the-window-object

[zhengbli]

The constructor is indeed defined in major browsers, it is just forbidden to call. For comparability I would suggest just leave it there. @mhegazy thoughts?

[falsandtru]

I think History variable should be defined by users because it is not standardized by spec.

[mhegazy]

there is a var History i find in most browsers. why was this removed?

[falsandtru]

See #142 (comment)

[mhegazy]

The History is the prototype for the type. the constructor can not be called directly, but that is the same as the rest of the HTML*Element classes as well. so we should keep both a type and a value for History. we already have a value history: History on Window and the global object.

[falsandtru]

Okay, fixed.

[zhengbli]

👍 Thanks!