devel/jetbrains-phpstorm: Update to 2023.1.2
ChangeLog: https://youtrack.jetbrains.com/articles/WI-A-231736057/PhpStorm-2023.1.2-231.9011.38-build-Release-Notes
PR: 271566 Reported by: dmitry.wagin@ya.ru (maintainer)