From 70dda74b0fb49cf5ab3d255fd286f0d26517237d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20Cobos=20=C3=81lvarez?= Date: Sun, 20 Oct 2019 13:43:57 +0000 Subject: [PATCH] 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 --- components/style/media_queries/media_feature_expression.rs | 3 --- 1 file changed, 3 deletions(-) diff --git a/components/style/media_queries/media_feature_expression.rs b/components/style/media_queries/media_feature_expression.rs index 7fee093f86e..5bebf35d056 100644 --- 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, () } 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") }