mirror of
https://github.com/servo/servo.git
synced 2025-08-10 16:05:43 +01:00
Handle prefixed value of -moz-user-select properly
This commit is contained in:
parent
8f37de05b2
commit
9299a0dc2c
4 changed files with 9 additions and 5 deletions
|
@ -701,7 +701,7 @@
|
|||
'gecko_constant_prefix', 'gecko_enum_prefix',
|
||||
'extra_gecko_values', 'extra_servo_values',
|
||||
'aliases', 'extra_gecko_aliases', 'extra_servo_aliases',
|
||||
'custom_consts', 'gecko_inexhaustive',
|
||||
'custom_consts', 'gecko_inexhaustive', 'gecko_strip_moz_prefix',
|
||||
]}
|
||||
%>
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue