Switch local setup to PHP8.5 #64

Merged
jonny merged 1 commit from switch_to_php85 into develop 2025-12-14 13:59:54 +01:00