https://docs.devsense.com/en/vscode/configuration is a "php.problems.workspaceAnalysis": entry described, but when I use it VS code I get a 'warning' saying that it's deprecated and that one should use "php.problems.scope", but that configuration is not documented 😀
