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