function paintCaseEnd($test_name) { parent::paintCaseEnd($test_name); // print_r($_GET); // print_r($_POST); // print_r($_REQUEST); }
public function paintCaseEnd($test_name) { parent::paintCaseEnd($test_name); echo '<hr/><br/><br/></div>'; flush(); }