From 08e8109e798893d2a90280a42bd14a6e982eb136 Mon Sep 17 00:00:00 2001
From: AltCode <12354672+AlternateRT@users.noreply.github.com>
Date: Mon, 24 Mar 2025 10:34:21 +0100
Subject: [PATCH] docs: Add Erlang language server documentation (#27346)

This PR updates the Erlang docs to list the two language servers the
extension offers support for, as well as how to switch from `erlang_ls`
to `erlang-language-platform`.

Release Notes:

- N/A
---
 docs/src/languages/erlang.md | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/docs/src/languages/erlang.md b/docs/src/languages/erlang.md
index f4c39fc527bccc9fb3c987c2ab2f5d342b89fc43..e82e6d48c36ed627cda9031272754802380e967f 100644
--- a/docs/src/languages/erlang.md
+++ b/docs/src/languages/erlang.md
@@ -3,7 +3,27 @@
 Erlang support is available through the [Erlang extension](https://github.com/zed-extensions/erlang).
 
 - Tree-sitter: [WhatsApp/tree-sitter-erlang](https://github.com/WhatsApp/tree-sitter-erlang)
-- Language Server: [erlang-ls/erlang_ls](https://github.com/erlang-ls/erlang_ls)
+- Language Servers:
+  - [erlang-ls/erlang_ls](https://github.com/erlang-ls/erlang_ls)
+  - [WhatsApp/erlang-language-platform](https://github.com/WhatsApp/erlang-language-platform)
+
+## Choosing a language server
+
+The Erlang extension offers language server support for `erlang_ls` and `erlang-language-platform`.
+
+`erlang_ls` is enabled by default.
+
+To switch to `erlang-language-platform`, add the following to your `settings.json`:
+
+```json
+{
+  "languages": {
+    "Erlang": {
+      "language_servers": ["elp", "!erlang-ls", "..."]
+    }
+  }
+}
+```
 
 ## See also: