{
  "redefinable-internals": [
    "json_decode"
  ]
}