ac = $ac; parent::HTMLReporter($encoding); } public function paintHeader($test_name) { parent::paintHeader($test_name); ?>