devel/jetbrains-phpstorm: update to 2023.1
Changelog: https://youtrack.jetbrains.com/articles/WI-A-231736052/PhpStorm-2023.1-231.8109.199-build-Release-Notes
PR: 270652 Reported by: Dmitry Wagin <dmitry.wagin@ya.ru> (maintainer)