script: Remove HTMLAppletElement.

It was removed from the spec, there's no reason to keep it in tree.
This commit is contained in:
Emilio Cobos Álvarez 2017-09-27 20:42:40 +02:00
parent 42c8fd292a
commit 8b0f58c8af
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
17 changed files with 132 additions and 156 deletions

View file

@ -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;