Closed lexman1958 closed 1 year ago
@lexman1958 thank you for reporting the issue.
So far as I'm trying, "php.problems.exclude"
works as expected. There are (intentionally) a few exceptions:
Do you see (yellow) warnings or only (red) errors?
@jakubmisek
I see red and yellow ones. Anyway, i think i sorted out the problem. I changed the settings:
from
"php.problems.exclude": {
"vendor/": true
},
to:
"php.problems.exclude": {
"vendor": true
},
I just removed the "/" and it seems to work. Not sure why but it worked. Perhaps you can explain this.
@lexman1958 thank you for the update. You're right, the /
character messes the glob pattern.
Previously, i reported on PHP Tools extension reporting vendors problems. I was advise add the following code into settings.json:
I have added this and yet the vendors are still be highlighted. The version is am using is 1.32.12895. The following is my setting.json codes: