Merge pull request #926 from M-arcus/patch-1

Add PhpStorm plugin to documentation
cachix · Jan 9, 2024 · df98522 · df98522
2 parents 7354096 + aa7ceea
commit df98522
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/editor-support/phpstorm.md 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
@@ -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
Original file line number	Diff line number	Diff line change
		@@ -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.