diff options
author | bors-servo <metajack+bors@gmail.com> | 2015-03-18 17:12:49 -0600 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2015-03-18 17:12:49 -0600 |
commit | b2fb06d6e25d6728d6000c283ed1dab1e8bfabb1 (patch) | |
tree | 491e0ba1414475d09c9700e5bf0c918808fa96b6 /components/script/dom/mod.rs | |
parent | 2346c9b94055f84a536808e40ad0b596ee21fbf4 (diff) | |
parent | 99286e4b4fe267d123fbdd5484612840300ab30e (diff) | |
download | servo-b2fb06d6e25d6728d6000c283ed1dab1e8bfabb1.tar.gz servo-b2fb06d6e25d6728d6000c283ed1dab1e8bfabb1.zip |
auto merge of #4888 : ChrisParis/servo/innerhtml, r=jdm
This addresses #849. This PR cannot land until the corresponding PR (https://github.com/servo/html5ever/pull/91) in html5ever lands. I've done some simple testing of this code, but I don't consider it thorougly tested yet. I wanted to start getting feedback about the overall design before I spend more time polishing the details, and testing.
Diffstat (limited to 'components/script/dom/mod.rs')
0 files changed, 0 insertions, 0 deletions