Update PHP install instructions to use php8.2 packages#741

umedsohibov wants to merge 1 commit intoSubmitty:mainSubmitty/submitty.github.io:mainfrom

umedsohibov:mainumedsohibov/submitty.github.io:mainCopy head branch name to clipboard