Update PHP versions in GitHub Actions workflow#435

tedivm merged 2 commits intomaintedious/Stash:mainfrom

php_8_5tedious/Stash:php_8_5Copy head branch name to clipboard