Merge "Add docs and minor cleanup in PHPVersionCheck.php"