mirror of
https://github.com/servo/servo.git
synced 2025-10-04 02:29:12 +01:00
style: Remove -moz-outline-radius
It does nothing since 88 and we unshipped it in 89. Differential Revision: https://phabricator.services.mozilla.com/D117532
This commit is contained in:
parent
ed806afe52
commit
837e41c8eb
4 changed files with 2 additions and 72 deletions
|
@ -42,20 +42,6 @@ ${helpers.predefined_type(
|
|||
spec="https://drafts.csswg.org/css-ui/#propdef-outline-width",
|
||||
)}
|
||||
|
||||
// The -moz-outline-radius-* properties are non-standard and not on a standards track.
|
||||
% for corner in ["topleft", "topright", "bottomright", "bottomleft"]:
|
||||
${helpers.predefined_type(
|
||||
"-moz-outline-radius-" + corner,
|
||||
"BorderCornerRadius",
|
||||
"computed::BorderCornerRadius::zero()",
|
||||
engines="gecko",
|
||||
boxed=True,
|
||||
animation_value_type="BorderCornerRadius",
|
||||
gecko_pref="layout.css.moz-outline-radius.enabled",
|
||||
spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/-moz-outline-radius)",
|
||||
)}
|
||||
% endfor
|
||||
|
||||
${helpers.predefined_type(
|
||||
"outline-offset",
|
||||
"Length",
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue