the main page to continue."); } else { // No debug extension found, so regular output debug_report_bug($msg); } } // [EOF] ?>