diff options
Diffstat (limited to 'devtools/shared/css')
| -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 316352771..50d849e79 100644 --- a/devtools/shared/css/generated/properties-db.js +++ b/devtools/shared/css/generated/properties-db.js @@ -9375,6 +9375,7 @@ exports.PSEUDO_ELEMENTS = [ ":backdrop", ":first-letter", ":first-line", + ":selection", ":-moz-selection", ":-moz-focus-inner", ":-moz-focus-outer", |