3 ms·
This is just a language server problem. I'm sure you can configure whatever language server PHP is using to disable specific warnings, etc.
by levkk 5mo 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 5mo ago> 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
- charcircuit 5mo agoEditors should take full responsibility of the user experience. The user should not have to care about the existence of language servers.
- Meekro 5mo agoI 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.