Kirill Bulatov 5af3a1554a Keep single default PHP language server (#43432) ...

9a119b18ee/extension.toml
provides 3 language servers for `php`, so `...` will always include all
3 if those are not excluded or included explicitly.

Change the configs and docs so, that only one php language server is
used.

Release Notes:

- N/A

2025-11-25 15:52:08 +01:00

85 KiB

Raw Permalink Blame History

View Raw