diff options
| author | krk <keremkat@gmail.com> | 2019-04-17 21:21:35 +0200 |
|---|---|---|
| committer | krk <keremkat@gmail.com> | 2019-04-20 22:39:39 +0200 |
| commit | e9560617b6dd2c884d887ee4edd1df26f07a9b43 (patch) | |
| tree | 2b928b92cf0ca2c45b9f4b461d9283676442f87e | |
| parent | 763fc8a1f2bb6a00098a63dbd68db65f423e4b6e (diff) | |
| download | servo-e9560617b6dd2c884d887ee4edd1df26f07a9b43.tar.gz servo-e9560617b6dd2c884d887ee4edd1df26f07a9b43.zip | |
Move WindowProxy declaration to the new WindowProxy.webidl file.
| -rw-r--r-- | components/script/dom/webidls/Window.webidl | 3 | ||||
| -rw-r--r-- | components/script/dom/webidls/WindowProxy.webidl | 7 |
2 files changed, 7 insertions, 3 deletions
diff --git a/components/script/dom/webidls/Window.webidl b/components/script/dom/webidls/Window.webidl index 1679fa42887..81ffee9283e 100644 --- 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 new file mode 100644 index 00000000000..897f86c295b --- /dev/null +++ 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 {}; |