From e499f157dda2719fe0d19f921e0eafadaca7d4a7 Mon Sep 17 00:00:00 2001
From: Kirill Bulatov <kirill@zed.dev>
Date: Mon, 24 Nov 2025 23:46:55 +0200
Subject: [PATCH] Keep single default PHP language server (#43432)

https://github.com/zed-extensions/php/blob/9a119b18eeb247072964a19ce46fab54bbd1bb30/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
---
 assets/settings/default.json      | 4 ++--
 docs/src/configuring-languages.md | 2 +-
 docs/src/languages/php.md         | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/assets/settings/default.json b/assets/settings/default.json
index c8ffd31617df7d057e89329c2db70c6b6aa21e95..a222a16cb290eae905a69b492e9de8d3a1493592 100644
--- a/assets/settings/default.json
+++ b/assets/settings/default.json
@@ -1889,7 +1889,7 @@
       }
     },
     "PHP": {
-      "language_servers": ["phpactor", "!intelephense", "..."],
+      "language_servers": ["phpactor", "!intelephense", "!phptools", "..."],
       "prettier": {
         "allowed": true,
         "plugins": ["@prettier/plugin-php"],
@@ -2138,7 +2138,7 @@
   "windows": {
     "languages": {
       "PHP": {
-        "language_servers": ["intelephense", "!phpactor", "..."]
+        "language_servers": ["intelephense", "!phpactor", "!phptools", "..."]
       }
     }
   },
diff --git a/docs/src/configuring-languages.md b/docs/src/configuring-languages.md
index 7b3456986e2766d134f3c1f15f94632feb067fb0..e478fab075acec67967a6c44cc5966e632aa1110 100644
--- a/docs/src/configuring-languages.md
+++ b/docs/src/configuring-languages.md
@@ -123,7 +123,7 @@ You can specify your preference using the `language_servers` setting:
 ```json [settings]
   "languages": {
     "PHP": {
-      "language_servers": ["intelephense", "!phpactor", "..."]
+      "language_servers": ["intelephense", "!phpactor", "!phptools", "..."]
     }
   }
 ```
diff --git a/docs/src/languages/php.md b/docs/src/languages/php.md
index 1d7de27c5480421e2bc4d1f150a0b6d04a5ee49c..73d5ecbf37eae6ab9b7e710c132025d217fe57bd 100644
--- a/docs/src/languages/php.md
+++ b/docs/src/languages/php.md
@@ -35,7 +35,7 @@ To switch to `intelephense`, add the following to your `settings.json`:
 {
   "languages": {
     "PHP": {
-      "language_servers": ["intelephense", "!phpactor", "..."]
+      "language_servers": ["intelephense", "!phpactor", "!phptools", "..."]
     }
   }
 }