diff --git a/assets/settings/default.json b/assets/settings/default.json index 6a04adf88e4593b4e04eda9a0bf64525293b2b0f..36c140dce7f8949ea73c163b9786b63ebeed0869 100644 --- a/assets/settings/default.json +++ b/assets/settings/default.json @@ -2059,6 +2059,18 @@ "dev": { // "theme": "Andromeda" }, + // Settings overrides to use when using linux + "linux": {}, + // Settings overrides to use when using macos + "macos": {}, + // Settings overrides to use when using windows + "windows": { + "languages": { + "PHP": { + "language_servers": ["intelephense", "!phpactor", "..."] + } + } + }, // Whether to show full labels in line indicator or short ones // // Values: