From aa7ceea82d8ee857e9e18ec7b9e806aeec28c42b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcus=20M=C3=BCller?=
 <25648755+M-arcus@users.noreply.github.com>
Date: Tue, 9 Jan 2024 11:12:05 +0100
Subject: [PATCH] Add PhpStorm plugin to documentation

---
 docs/editor-support/phpstorm.md | 1 +
 mkdocs.yml                      | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 docs/editor-support/phpstorm.md

diff --git a/docs/editor-support/phpstorm.md b/docs/editor-support/phpstorm.md
new file mode 100644
index 000000000..b11f96412
--- /dev/null
+++ b/docs/editor-support/phpstorm.md
@@ -0,0 +1 @@
+It is recommend to use [automatic shell activation](../automatic-shell-activation.md) with the plugin [Devenv.​sh Support](https://plugins.jetbrains.com/plugin/23136-devenv-sh-support) for PHP development.
diff --git a/mkdocs.yml b/mkdocs.yml
index b1a35c127..a116dcbbb 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -59,6 +59,7 @@ nav:
     - Examples: examples.md
     - Editor Support:
       - VSCode: editor-support/vscode.md
+      - PhpStorm: editor-support/phpstorm.md
     - Roadmap: roadmap.md
     - Reference:
       - devenv.yaml: reference/yaml-options.md