style: Remove layout.css.prefixes.device-pixel-ratio-webkit.

There's no effort to disable it any time soon, so I don't think it's useful to keep the pref around. Differential Revision: https://phabricator.services.mozilla.com/D49507
servo · Nov 4, 2019 · 70dda74 · 70dda74
1 parent b98ac61
commit 70dda74
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/components/style/media_queries/media_feature_expression.rs b/components/style/media_queries/media_feature_expression.rs
@@ -243,9 +243,6 @@ fn consume_operation_or_colon(input: &mut Parser) -> Result<Option<Operator>, ()
 }
 
 fn disabled_by_pref(feature: &Atom) -> bool {
-    if *feature == atom!("device-pixel-ratio") {
-        return !static_prefs::pref!("layout.css.prefixes.device-pixel-ratio-webkit");
-    }
     if *feature == atom!("-moz-touch-enabled") {
         return !static_prefs::pref!("layout.css.moz-touch-enabled.enabled")
     }