From fdbb72eb0af36b480aa4768742eb5123850c2ce0 Mon Sep 17 00:00:00 2001
From: Stefan Siegl <stesie@brokenpipe.de>
Date: Sun, 4 Sep 2016 12:56:58 +0200
Subject: [PATCH] idea.webstorm10: init at 10.0.5

(moved from idea.phpstorm)
---
 pkgs/applications/editors/idea/default.nix | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/pkgs/applications/editors/idea/default.nix b/pkgs/applications/editors/idea/default.nix
index 69e74153dde..ae58248640f 100644
--- a/pkgs/applications/editors/idea/default.nix
+++ b/pkgs/applications/editors/idea/default.nix
@@ -262,4 +262,15 @@ in
     wmClass = "jetbrains-webstorm";
   };
 
+  webstorm10 = buildWebStorm rec {
+    name = "webstorm-${version}";
+    version = "10.0.5";
+    description = "Professional IDE for Web and JavaScript development";
+    license = stdenv.lib.licenses.unfree;
+    src = fetchurl {
+      url = "https://download.jetbrains.com/webstorm/WebStorm-${version}.tar.gz";
+      sha256 = "0a5s6f99wyql5pgjl94pf4ljdbviik3b8dbr1s6b7c6jn1gk62ic";
+    };
+    wmClass = "jetbrains-webstorm";
+  };
 }