Change json example to be original

Closes: #3391
This commit is contained in:
thkoch2001 2022-05-04 16:41:29 +03:00 committed by Thomas Koch
parent 470e27ce80
commit 7388cd55bf

View file

@ -1,36 +1,35 @@
# RFC 7159, section 13.
builtins.fromJSON builtins.fromJSON
'' ''
{ {
"Image": { "Video": {
"Width": 800, "Title": "The Penguin Chronicles",
"Height": 600, "Width": 1920,
"Title": "View from 15th Floor", "Height": 1080,
"Thumbnail": { "EmbeddedData": [3.14159, 23493,null, true ,false, -10],
"Url": "http://www.example.com/image/481989943", "Thumb": {
"Height": 125, "Url": "http://www.example.com/video/5678931",
"Width": 100 "Width": 200,
"Height": 250
}, },
"Animated" : false, "Subtitle" : false,
"IDs": [116, 943, 234, 38793, true ,false,null, -100], "Latitude": 46.2051,
"Latitude": 37.7668, "Longitude": 6.0723
"Longitude": -122.3959
} }
} }
'' ''
== ==
{ Image = { Video =
{ Width = 800; { Title = "The Penguin Chronicles";
Height = 600; Width = 1920;
Title = "View from 15th Floor"; Height = 1080;
Thumbnail = EmbeddedData = [ 3.14159 23493 null true false (0-10) ];
{ Url = http://www.example.com/image/481989943; Thumb =
Height = 125; { Url = "http://www.example.com/video/5678931";
Width = 100; Width = 200;
Height = 250;
}; };
Animated = false; Subtitle = false;
IDs = [ 116 943 234 38793 true false null (0-100) ]; Latitude = 46.2051;
Latitude = 37.7668; Longitude = 6.0723;
Longitude = -122.3959;
}; };
} }