Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-11 00:15:32 +01:00
Code Issues Projects Releases Packages Wiki Activity

Rename media_queries::MediaQueryList to MediaList

Browse source
This commit is contained in:
Xidorn Quan 2016-11-08 12:11:21 +11:00
parent d8ac5100e8
commit 2733ec3bdc
6 changed files with 24 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/dom/htmllinkelement.rs
View file

@ -42,7 +42,7 @@ use std::default::Default;
use std::mem;
use std::sync::{Arc, Mutex};
use style::attr::AttrValue;
use style::media_queries::{MediaQueryList, parse_media_query_list};
use style::media_queries::{MediaList, parse_media_query_list};
use style::parser::ParserContextExtraData;
use style::str::HTML_SPACE_CHARACTERS;
use style::stylesheets::{Stylesheet, Origin};
@ -297,7 +297,7 @@ impl HTMLLinkElement {
struct StylesheetContext {
/// The element that initiated the request.
elem: Trusted<HTMLLinkElement>,
media: Option<MediaQueryList>,
media: Option<MediaList>,
/// The response body received to date.
data: Vec<u8>,
/// The response metadata received to date.