Bug 1868552 - Remove unused -moz-user-focus values. r=jwatt

If removing these were to become a compat issue in the wild, we could
alias them effortlessly. But honestly they're not even documented in MDN
so I'm pretty sure it should be safe to remove.

Differential Revision: https://phabricator.services.mozilla.com/D195643

layout/style/nsStyleConsts.h

@@ -145,11 +145,6 @@ enum class StyleUserFocus : uint8_t {
   None,
   Ignore,
   Normal,
-  SelectAll,
-  SelectBefore,
-  SelectAfter,
-  SelectSame,
-  SelectMenu,
 };
 
 // user-input

layout/style/test/property_database.js

@@ -3910,15 +3910,7 @@ var gCSSProperties = {
     inherited: true,
     type: CSS_TYPE_LONGHAND,
     initial_values: ["none"],
-    other_values: [
-      "normal",
-      "ignore",
-      "select-all",
-      "select-before",
-      "select-after",
-      "select-same",
-      "select-menu",
-    ],
+    other_values: ["normal", "ignore"],
     invalid_values: [],
   },
   "-moz-user-input": {

servo/components/style/properties/longhands/inherited_ui.mako.rs

@@ -68,7 +68,7 @@ ${helpers.single_keyword(
 
 ${helpers.single_keyword(
     "-moz-user-focus",
-    "none ignore normal select-after select-before select-menu select-same select-all",
+    "none ignore normal",
     engines="gecko",
     gecko_ffi_name="mUserFocus",
     gecko_enum_prefix="StyleUserFocus",