Jens Harbott 5c4891745b Work around broken json parsing in latest pygments
In version 2.7.0 pygments contains this change[0] to be stricter
when parsing json, breaking highlighting for some of our samples.
This patch fixes the json examples.

[0] 9514e794e0

Change-Id: I59adc546dbf8079bd5cc3aab4a1500360649d210
2020-10-27 17:59:04 +00:00
..
2019-09-07 09:26:57 +00:00