diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2023-08-24 11:57:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-24 09:57:49 +0000 |
| commit | acf7fdb90c65f6d00ec147d2f12d5dae95eeff10 (patch) | |
| tree | 7981152af0f849622d94ce0143bfc17fd48878f0 /servo-tidy.toml | |
| parent | 41ae460270c9ff0d1df36525150c99aaddfec1ba (diff) | |
| download | servo-acf7fdb90c65f6d00ec147d2f12d5dae95eeff10.tar.gz servo-acf7fdb90c65f6d00ec147d2f12d5dae95eeff10.zip | |
Disable WebRender debugger and upgrade webxr / media / rand (#30190)
Now that our dependencies are using a newer version of rand we can
upgrade. This change also disables the WebRender debugger feature
because it has been removed in later versions of WebRender and allows
deduplicated the rand dependency as well as quite a few others.
Diffstat (limited to 'servo-tidy.toml')
| -rw-r--r-- | servo-tidy.toml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/servo-tidy.toml b/servo-tidy.toml index 0e2205cc89a..2cc84585022 100644 --- a/servo-tidy.toml +++ b/servo-tidy.toml @@ -15,7 +15,6 @@ rand = [ "quickcheck", # Only used in tests "servo_rand", "tungstenite", - "ws", ] [ignore] @@ -25,18 +24,11 @@ packages = [ "base64", "cfg-if", "cookie", - "getrandom", - "image", "itoa", "libloading", - "miniz_oxide", "num-rational", "parking_lot", "parking_lot_core", - "png", - "rand", - "rand_chacha", - "rand_core", "redox_syscall", "ron", "time", @@ -51,7 +43,6 @@ packages = [ "rustls-webpki", # https://github.com/servo/servo/issues/26933 - "bytes", "futures", "mio", @@ -66,11 +57,6 @@ packages = [ # https://github.com/servo/servo/pull/28236 "nix", - # Duplicated by webrender debugger via ws - "block-buffer", - "digest", - "generic-array", - # Duplicated by surfman/wgpu update. "bitflags", "windows-sys", |