[Documentation:System] Bump PHP 8.2#723

cjreed121 wants to merge 2 commits intomainSubmitty/submitty.github.io:mainfrom

bump_php_8.2Submitty/submitty.github.io:bump_php_8.2Copy head branch name to clipboard