From 7a5239fddc4dd8461179e9d272efd0aa7e1576fc Mon Sep 17 00:00:00 2001 From: Stefan Siegl Date: Sat, 3 Sep 2016 21:48:02 +0200 Subject: [PATCH] idea.phpstorm10: init at 10.0.4 (moved from idea.phpstorm) --- pkgs/applications/editors/idea/default.nix | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/pkgs/applications/editors/idea/default.nix b/pkgs/applications/editors/idea/default.nix index ba987b059e9..732ad1ba88f 100644 --- a/pkgs/applications/editors/idea/default.nix +++ b/pkgs/applications/editors/idea/default.nix @@ -238,6 +238,19 @@ in wmClass = "jetbrains-phpstorm"; }; + phpstorm10 = buildPhpStorm rec { + name = "phpstorm-${version}"; + version = "10.0.4"; + description = "Professional IDE for Web and PHP developers"; + license = stdenv.lib.licenses.unfree; + src = fetchurl { + url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz"; + sha256 = "0fi042zvjpg5pn2mnhj3bbrdkl1b9vmhpf2l6ca4nr0rhjjv7dsm"; + }; + wmClass = "jetbrains-phpstorm"; + }; + + webstorm = buildWebStorm rec { name = "webstorm-${version}"; version = "10.0.5";