Move WindowProxy declaration to the new WindowProxy.webidl file.

servo · Apr 20, 2019 · e956061 · e956061
1 parent 763fc8a
commit e956061
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/components/script/dom/webidls/Window.webidl b/components/script/dom/webidls/Window.webidl
@@ -72,9 +72,6 @@
 Window implements GlobalEventHandlers;
 Window implements WindowEventHandlers;
 
-[NoInterfaceObject]
-interface WindowProxy {};
-
 // https://html.spec.whatwg.org/multipage/#Window-partial
 partial interface Window {
   void captureEvents();

diff --git a/components/script/dom/webidls/WindowProxy.webidl b/components/script/dom/webidls/WindowProxy.webidl
@@ -0,0 +1,7 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+
+// https://html.spec.whatwg.org/multipage/#the-windowproxy-exotic-object
+[NoInterfaceObject]
+interface WindowProxy {};