From 0c8b1a90047b9faff9ba92ae026708d8356b5d6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20Cobos=20=C3=81lvarez?= <emilio@crisal.io>
Date: Sun, 11 Nov 2018 18:00:49 +0100
Subject: [PATCH] style: Remove unimplemented values of the user-select
 property.

Can't believe we literally had no code to handle them.

Differential Revision: https://phabricator.services.mozilla.com/D11581
---
 components/style/values/specified/ui.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/components/style/values/specified/ui.rs b/components/style/values/specified/ui.rs
index f11aae73bc3..37dd4ebc9f2 100644
--- a/components/style/values/specified/ui.rs
+++ b/components/style/values/specified/ui.rs
@@ -163,11 +163,7 @@ pub enum UserSelect {
     Text,
     #[parse(aliases = "-moz-none")]
     None,
-    Element,
-    Elements,
     All,
-    Toggle,
-    TriState,
     /// Force selection of all children, unless an ancestor has `none` set.
     ///
     /// See bug 48096.