diff options
Diffstat (limited to 'devtools/shared/css/generated')
| -rw-r--r-- | devtools/shared/css/generated/properties-db.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devtools/shared/css/generated/properties-db.js b/devtools/shared/css/generated/properties-db.js index ebe2a3828..01358a033 100644 --- a/devtools/shared/css/generated/properties-db.js +++ b/devtools/shared/css/generated/properties-db.js @@ -9398,6 +9398,7 @@ exports.PSEUDO_ELEMENTS = [ ":backdrop", ":first-letter", ":first-line", + ":selection", ":-moz-selection", ":-moz-focus-inner", ":-moz-focus-outer", |