[Documentation:Developer] Improve php unit test instructions#686

martig7 wants to merge 4 commits intomainSubmitty/submitty.github.io:mainfrom

phpunit-docs-improvementsSubmitty/submitty.github.io:phpunit-docs-improvementsCopy head branch name to clipboard