diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-07-23 18:42:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-23 18:42:00 -0400 |
| commit | 8f7440f36881fa60f4237d0dec8928799a6aa747 (patch) | |
| tree | cfeba6c367447dec9d352abf99a5216b58c93312 /components/script/dom/htmlmediaelement.rs | |
| parent | e948c7dcc6d879d550a22daae7b0f120a29847c1 (diff) | |
| parent | 9dc906a633d7ce4e931383f9e0cac30e83b6d188 (diff) | |
| download | servo-8f7440f36881fa60f4237d0dec8928799a6aa747.tar.gz servo-8f7440f36881fa60f4237d0dec8928799a6aa747.zip | |
Auto merge of #23827 - emilio:gecko-sync, r=emilio,manishearth
style: Sync changes from mozilla-central, and update euclid
See individual commits for details.
<!-- 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/23827)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 8eaa9c2b552..ef363813a5d 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -65,7 +65,7 @@ use crate::script_thread::ScriptThread; use crate::task_source::TaskSource; use dom_struct::dom_struct; use embedder_traits::resources::{self, Resource as EmbedderResource}; -use euclid::Size2D; +use euclid::default::Size2D; use headers::{ContentLength, ContentRange, HeaderMapExt}; use html5ever::{LocalName, Prefix}; use http::header::{self, HeaderMap, HeaderValue}; |