| ▲ | levkk 6 hours ago | |
This is just a language server problem. I'm sure you can configure whatever language server PHP is using to disable specific warnings, etc. | ||
| ▲ | swiftcoder 6 hours ago | parent | next [-] | |
> I'm sure you can configure whatever language server PHP is using to disable specific warnings, etc You may be able to do this by editing a language server-specific config file in whatever arcane syntax they decided to offer. But there isn't any editor support for configuring languages servers, so it's a bit of a lift for a newcomer who just wants to turn off some warnings | ||
| ▲ | Meekro 3 hours ago | parent | prev | next [-] | |
I think the application should own its dependencies and its default config. In this case, it felt to me like no one had really looked at them. | ||
| ▲ | charcircuit 5 hours ago | parent | prev [-] | |
Editors should take full responsibility of the user experience. The user should not have to care about the existence of language servers. | ||