diff options
author | Emilio Cobos Álvarez <emilio@crisal.io> | 2017-09-27 20:42:40 +0200 |
---|---|---|
committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2017-11-06 17:08:14 +0100 |
commit | 8b0f58c8af3fd5f0a328ac9286d2719328cadbd5 (patch) | |
tree | 26e0ae91e926d2ee574edd4b094d8d4f65f9d9b3 /components/script/dom/mod.rs | |
parent | 42c8fd292a37d61efb56d96bdf5866dd30e77df6 (diff) | |
download | servo-8b0f58c8af3fd5f0a328ac9286d2719328cadbd5.tar.gz servo-8b0f58c8af3fd5f0a328ac9286d2719328cadbd5.zip |
script: Remove HTMLAppletElement.
It was removed from the spec, there's no reason to keep it in tree.
Diffstat (limited to 'components/script/dom/mod.rs')
-rw-r--r-- | components/script/dom/mod.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/components/script/dom/mod.rs b/components/script/dom/mod.rs index 5ae3f477a06..4b34a6f3cac 100644 --- a/components/script/dom/mod.rs +++ b/components/script/dom/mod.rs @@ -301,7 +301,6 @@ pub mod hashchangeevent; pub mod headers; pub mod history; pub mod htmlanchorelement; -pub mod htmlappletelement; pub mod htmlareaelement; pub mod htmlaudioelement; pub mod htmlbaseelement; |