)]}'
{
  "id": "b00c4bd59848c7c4e675fee2309ec80e6929ac89",
  "repo": "devtools/devtools-frontend",
  "revision": "ec00a13ce62ddc9f5697a4e4d30dfcafaacd9fc2",
  "path": "node_modules/es-abstract/2018/NumberToString.js"
}