junit_enabled    2644 run-tests.php  	if (!junit_enabled()) return;
junit_enabled    2696 run-tests.php  	if (!junit_enabled()) return;
junit_enabled    2747 run-tests.php  	if (!junit_enabled()) return 0;
junit_enabled    2758 run-tests.php  	if (!junit_enabled()) return;
junit_enabled    2780 run-tests.php  	if (!junit_enabled()) return;
junit_enabled    2801 run-tests.php  	if (!junit_enabled()) return;