Kirill Bulatov e499f157dd 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-24 23:46:55 +02:00

85 KiB

Raw Permalink Blame History

View Raw