Created attachment 209002 [details]
Update to 2019.2.4
Approved (I had this in my HD since last week).
Really CC mentor
(In reply to Pedro F. Giffuni from comment #2)
Approved (as mentor).
A commit references this bug:
Date: Sun Nov 10 21:59:58 UTC 2019
New revision: 517232
devel/jetbrains-phpstorm: Update to 2019.2.4
Approved by: thierry (mentor)
Committed .. Thanks!