From f0200098dcbf3e602ce268a596043da6cf7f8bdf Mon Sep 17 00:00:00 2001
From: Juliardi <juliardi@users.noreply.github.com>
Date: Sun, 20 Sep 2026 17:45:38 +0700
Subject: [PATCH 1/2] Add Pragtical plugin setup instructions

Added instructions for setting up the Pragtical plugin with LSP for PHP.
---
 docs/editor-setup.md | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/docs/editor-setup.md b/docs/editor-setup.md
index 8d4ac222e..cc7c42a9f 100644
--- a/docs/editor-setup.md
+++ b/docs/editor-setup.md
@@ -172,4 +172,25 @@ Open **Settings > Configure Kate > LSP Client > User Server Settings** and add:
 }
 ```
 
+### Pragtical
+
+1. Open the Command Palette (`Ctrl+Shift+P` / `Cmd+Shift+P`), type `Plugin Manager: Show`, and install **Language Server Protocol(LSP)**.
+
+2. Open the Command Palette again, type `Core: Open User Module`, and add:
+
+```lua
+local lsp = require "plugins.lsp"
+
+lsp.add_server {
+  name = "phpantom",
+  language = "PHP",
+  file_patterns = { "%.php$" },
+  command = { "/usr/bin/phpantom_lsp", "--stdio" }.
+  transport = "stdio",
+  requests_per_second = 16,
+  incremental_changes = false,
+  verbose = false
+}
+```
+
 For AI coding agent setup, see [Agent Setup](agent-setup.md).

From 2343ced30fa883cdb7b878a1cb412baed5b50627 Mon Sep 17 00:00:00 2001
From: Juliardi <juliardi@users.noreply.github.com>
Date: Sun, 20 Sep 2026 20:50:04 +0700
Subject: [PATCH 2/2] Change phpantom LSP command path

Update the command path for phpantom LSP.
---
 docs/editor-setup.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/editor-setup.md b/docs/editor-setup.md
index cc7c42a9f..48c5969cd 100644
--- a/docs/editor-setup.md
+++ b/docs/editor-setup.md
@@ -185,7 +185,7 @@ lsp.add_server {
   name = "phpantom",
   language = "PHP",
   file_patterns = { "%.php$" },
-  command = { "/usr/bin/phpantom_lsp", "--stdio" }.
+  command = { "/path/to/phpantom_lsp" }.
   transport = "stdio",
   requests_per_second = 16,
   incremental_changes = false,