Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upscript: Remove HTMLAppletElement. #18657
Conversation
|
r? @nox @bors-servo try
|
script: Remove HTMLAppletElement. It was removed from the spec, there's no reason to keep it in tree.
|
|
|
Needs a change in manifest, once that done you can r=me. |
|
@bors-servo r=KiChjang |
|
|
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 -->
|
|
|
|
|
|
|
|
@bors-servo r=KiChjang |
|
|
@bors-servo r=KiChjang |
|
|
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 -->
|
|
|
|
So, a couple of those are defined in |
|
Err, |
It was removed from the spec, there's no reason to keep it in tree.
|
@bors-servo r=KiChjang |
|
|
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 -->
|
|
emilio commentedSep 27, 2017
•
edited by SimonSapin
It was removed from the spec, there's no reason to keep it in tree.
This change is