@@ -6044,6 +6044,12 @@ interface HTMLDocument extends Document {
6044
6044
removeEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | EventListenerOptions): void;
6045
6045
}
6046
6046
6047
+ /** @deprecated */
6048
+ declare var HTMLDocument: {
6049
+ prototype: HTMLDocument;
6050
+ new(): HTMLDocument;
6051
+ };
6052
+
6047
6053
interface HTMLElementEventMap extends ElementEventMap, DocumentAndElementEventHandlersEventMap, GlobalEventHandlersEventMap {
6048
6054
}
6049
6055
@@ -16000,7 +16006,6 @@ interface WindowEventMap extends GlobalEventHandlersEventMap, WindowEventHandler
16000
16006
16001
16007
/** A window containing a DOM document; the document property points to the DOM document loaded in that window. */
16002
16008
interface Window extends EventTarget, AnimationFrameProvider, GlobalEventHandlers, WindowEventHandlers, WindowLocalStorage, WindowOrWorkerGlobalScope, WindowSessionStorage {
16003
- HTMLDocument: Document;
16004
16009
/** @deprecated This is a legacy alias of `navigator`. */
16005
16010
readonly clientInformation: Navigator;
16006
16011
/** Returns true if the window has been closed, false otherwise. */
@@ -17035,7 +17040,6 @@ declare var Image: {
17035
17040
declare var Option: {
17036
17041
new(text?: string, value?: string, defaultSelected?: boolean, selected?: boolean): HTMLOptionElement;
17037
17042
};
17038
- declare var HTMLDocument: Document;
17039
17043
/** @deprecated This is a legacy alias of `navigator`. */
17040
17044
declare var clientInformation: Navigator;
17041
17045
/** Returns true if the window has been closed, false otherwise. */
0 commit comments