{
  "php.version": "8.3"
}