PHP 8.5 + psalm

[didoda]

This introduces php 8.5 in php github workflow.

This also adds psalm.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.90%. Comparing base (c35761c) to head (75f3d3b).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main      #28      +/-   ##
============================================
+ Coverage     98.74%   98.90%   +0.15%     
  Complexity      139      139              
============================================
  Files            12       12              
  Lines           637      638       +1     
============================================
+ Hits            629      631       +2     
+ Misses            8        7       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.