devel/jetbrains-phpstorm: Update to version 2019.2.3
PR: 240880 Reported by: Dmitry Wagin Approved by: thierry (mentor)