get_summary       360 run-tests.php  			$failed_tests_data .= get_summary(true, false) . "\n";
get_summary       793 run-tests.php  				fwrite($html_file, "<hr/>\n" . get_summary(false, true));
get_summary       796 run-tests.php  			echo get_summary(false, false);
get_summary      2362 run-tests.php  		fwrite($html_file, "<hr/>\n" . get_summary(true, true));
get_summary      2365 run-tests.php  	echo get_summary(true, false);