devel/phpstorm: Update to version 2019.3.2
Reported by: portscout Approved by: thierry (mentor, implicit)