diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2025-01-24 15:47:43 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-24 20:47:43 +0000 |
| commit | af8d7c2de7dc5d2f844a021b97babfe4e4f839d4 (patch) | |
| tree | d2a003abac01b1a2266732fa7b89c9d8e1601e88 /components/script/dom/webidls/PerformanceNavigation.webidl | |
| parent | a88b59534ff1d064acf76af1535c3d6847817826 (diff) | |
| download | servo-af8d7c2de7dc5d2f844a021b97babfe4e4f839d4.tar.gz servo-af8d7c2de7dc5d2f844a021b97babfe4e4f839d4.zip | |
script: Move code generation and webidl files to new script_bindings crate. (#35157)
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
Diffstat (limited to 'components/script/dom/webidls/PerformanceNavigation.webidl')
| -rw-r--r-- | components/script/dom/webidls/PerformanceNavigation.webidl | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/components/script/dom/webidls/PerformanceNavigation.webidl b/components/script/dom/webidls/PerformanceNavigation.webidl deleted file mode 100644 index 3e5cba196f6..00000000000 --- a/components/script/dom/webidls/PerformanceNavigation.webidl +++ /dev/null @@ -1,18 +0,0 @@ -/* 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/. */ -/* - * The origin of this IDL file is - * https://w3c.github.io/navigation-timing/#the-performancenavigation-interface - */ - -[Exposed=Window] -interface PerformanceNavigation { - const unsigned short TYPE_NAVIGATE = 0; - const unsigned short TYPE_RELOAD = 1; - const unsigned short TYPE_BACK_FORWARD = 2; - const unsigned short TYPE_RESERVED = 255; - readonly attribute unsigned short type; - readonly attribute unsigned short redirectCount; - [Default] object toJSON(); -}; |