diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-09-21 18:49:33 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-21 18:49:33 -0500 |
commit | f357afc94ac437c4323bcc4d46c2767ccef73b73 (patch) | |
tree | 2a5b7952f3b1c3ac3a5cd7facba026440815a8ba /components/script/dom/htmlselectelement.rs | |
parent | ecb44e748b090655bea9d519448c02d290b9e957 (diff) | |
parent | 6fbd2aa5b7628bd47971806ddf438cd350a60bee (diff) | |
download | servo-f357afc94ac437c4323bcc4d46c2767ccef73b73.tar.gz servo-f357afc94ac437c4323bcc4d46c2767ccef73b73.zip |
Auto merge of #12472 - KiChjang:use-fetch-in-script, r=jdm
Use fetch infrastructure to load external scripts
Fixes #9186.
<!-- 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/12472)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlselectelement.rs')
0 files changed, 0 insertions, 0 deletions