From 27f68b8129e00ff15367909ae0598125bde6a779 Mon Sep 17 00:00:00 2001 From: Kagami Sascha Rosylight Date: Tue, 20 Nov 2018 19:41:42 +0900 Subject: [PATCH] mark window.event as deprecated --- baselines/dom.generated.d.ts | 2 ++ inputfiles/overridingTypes.json | 3 ++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/baselines/dom.generated.d.ts b/baselines/dom.generated.d.ts index 45f674577..90020e35e 100644 --- a/baselines/dom.generated.d.ts +++ b/baselines/dom.generated.d.ts @@ -16504,6 +16504,7 @@ interface Window extends EventTarget, WindowTimers, WindowSessionStorage, Window readonly devicePixelRatio: number; readonly doNotTrack: string; readonly document: Document; + /** @deprecated */ readonly event: Event | undefined; /** @deprecated */ readonly external: External; @@ -17368,6 +17369,7 @@ declare var defaultStatus: string; declare var devicePixelRatio: number; declare var doNotTrack: string; declare var document: Document; +/** @deprecated */ declare var event: Event | undefined; /** @deprecated */ declare var external: External; diff --git a/inputfiles/overridingTypes.json b/inputfiles/overridingTypes.json index f894a8fdd..076f65229 100644 --- a/inputfiles/overridingTypes.json +++ b/inputfiles/overridingTypes.json @@ -423,7 +423,8 @@ "property": { "event": { "name": "event", - "override-type": "Event | undefined" + "override-type": "Event | undefined", + "deprecated": 1 }, "orientation": { "name": "orientation",