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/webidls/HTMLScriptElement.webidl | |
| 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/webidls/HTMLScriptElement.webidl')
| -rw-r--r-- | components/script/dom/webidls/HTMLScriptElement.webidl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/webidls/HTMLScriptElement.webidl b/components/script/dom/webidls/HTMLScriptElement.webidl index 17df2e7e08b..1636df7a12b 100644 --- a/components/script/dom/webidls/HTMLScriptElement.webidl +++ b/components/script/dom/webidls/HTMLScriptElement.webidl @@ -10,7 +10,7 @@ interface HTMLScriptElement : HTMLElement { attribute DOMString charset; // attribute boolean async; attribute boolean defer; - // attribute DOMString crossOrigin; + attribute DOMString? crossOrigin; [Pure] attribute DOMString text; |