get_summary       366 run-tests.php  			$failed_tests_data .= get_summary(true, false) . "\n";
get_summary       820 run-tests.php  			fwrite($html_file, "<hr/>\n" . get_summary(false, true));
get_summary       823 run-tests.php  		echo get_summary(false, false);
get_summary      2512 run-tests.php  		fwrite($html_file, "<hr/>\n" . get_summary(true, true));
get_summary      2515 run-tests.php  	echo get_summary(true, false);