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", "..."] } } }