From d54718e3d658bffd67929a6140ee3752895caccd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Pineau?= Date: Wed, 27 Mar 2024 11:45:34 +0100 Subject: [PATCH] phpstorm does not need a plugin, it works by default --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 5d46171..24381d8 100644 --- a/index.html +++ b/index.html @@ -144,6 +144,7 @@

No Plugin Necessary

  • MonoDevelopMonoDevelop
  • Neovim
  • NovaNova
  • +
  • PHPStormPHPStorm
  • PyCharmPyCharm
  • ReSharperReSharper
  • RiderRider
  • @@ -185,7 +186,6 @@

    Editor

  • NetBeansNetBeans
  • Notepad++Notepad++
  • PlumaPluma
  • -
  • PHPStormPHPStorm
  • Sublime TextSublime Text
  • TextadeptTextadept
  • TextMateTextMate