Created attachment 209626 [details] jetbrains-phpstorm.diff Update to 2019.3
Approved (as maintainer) CC mentor.
Implicit approval (from mentor).
committed as r518969