mirror of
https://github.com/divkit/divkit.git
synced 2026-05-07 20:02:32 +00:00
man-y
20 lines
431 B
JSON
20 lines
431 B
JSON
{
|
|
"type": "object",
|
|
"$description": "translations.json#/div_text_range_border",
|
|
"properties": {
|
|
"stroke": {
|
|
"$ref": "div-stroke.json",
|
|
"$description": "translations.json#/div_border_stroke"
|
|
},
|
|
"corner_radius": {
|
|
"$ref": "common.json#/non_negative_integer",
|
|
"$description": "translations.json#/div_border_corner_radius"
|
|
}
|
|
},
|
|
"platforms": [
|
|
"android",
|
|
"ios",
|
|
"web"
|
|
]
|
|
}
|