devel/jetbrains-phpstorm: Update to 2020.1.2
Release Notes:
https://confluence.jetbrains.com/display/PhpStorm/PhpStorm+2020.1.2+Release+Notes
PR: 247094
Submitted by: dmitry.wagin@ya.ru (maintainer)
devel/jetbrains-phpstorm: Update to 2020.1.2 Tags None Referenced Files None Subscribers None
Description
Details
|