{
    "php.version": "7.4"
}