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