devel/jetbrains-webstorm: Update to 2023.1.2
ChangeLog: https://youtrack.jetbrains.com/articles/WEB-A-233538420/WebStorm-2023.1.2-231.9011.35-build-Release-Notes
PR: 271567 Reported by: dmitry.wagin@ya.ru (maintainer)