mirror of
https://github.com/servo/servo
synced 2026-05-13 18:37:30 +02:00
script: Remove HTMLAppletElement. It was removed from the spec, there's no reason to keep it in tree. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18657) <!-- Reviewable:end -->