)]}'
{
  "id": "381ef7d850975bff27884fd276e808b1ff196175",
  "repo": "external/w3c/web-platform-tests",
  "revision": "refs/heads/https-acid3",
  "path": "css/css-ui/box-sizing-012.html"
}