Jean-FrancoisHIVERT Hi, Maybe I found a bug about PHP0413, I am not able to get a warning/error for this code PHP0413: Thank you for your help.
Jean-FrancoisHIVERT With true it worked for one PHP file, when I changed to error now it works and I get all errors. It was strange, I don't understand why I got warnings for one PHP file with true. Sorry for the noise.
JakubMisek Hi - that's a good question; There are several ways of suppressing errors (https://docs.devsense.com/vscode/problems/suppressing-diagnostics/) Most probably, the @suppress tag is overridden by the .editorconfig settings (which used to be like a global policy enforced across the project). But I agree that the @suppress tag should have a priority - I'll look on that.
