devel/jetbrains-phpstorm update to 2019.1.2
Reported by: portscout Submitted by: Dmitry Wagin Approved by: thierry (mentor)