Merge pull request #33071 from joncojonathan/update-phpstorm-2017-3-2

phpstorm: 2017.3 -> 2017.3.2
This commit is contained in:
Orivej Desh 2018-01-06 03:02:52 +00:00 committed by GitHub
commit 46f6b38882
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -299,12 +299,12 @@ in
phpstorm = buildPhpStorm rec {
name = "phpstorm-${version}";
version = "2017.3"; /* updated by script */
version = "2017.3.2";
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 = "1byhlm5bnp6ic4n2xg17v4g34ipygy50i9xj4292b0xw7srxh910"; /* updated by script */
sha256 = "1grkqvj4j33d8hmy11ipkcci20sw7jpnc5zl28a9g85f2pzvsvs0";
};
wmClass = "jetbrains-phpstorm";
update-channel = "PS2017.3";