get_summary       367 run-tests.php  			$failed_tests_data .= get_summary(true, false) . "\n";
get_summary       821 run-tests.php  			fwrite($html_file, "<hr/>\n" . get_summary(false, true));
get_summary       824 run-tests.php  		echo get_summary(false, false);
get_summary      2518 run-tests.php  		fwrite($html_file, "<hr/>\n" . get_summary(true, true));
get_summary      2521 run-tests.php  	echo get_summary(true, false);