{
  "php.version": "8.2"
}