{
  "linters": {
    "PHP Error Check": {
      "type": "php"
    }
  }
}