ac = $ac; parent::__construct($encoding); } public function paintHeader($test_name) { parent::paintHeader($test_name); ?>
ac['standalone']) {echo 'checked="checked" ';} ?>/>
Max memory usage: $max_mem bytes"; } parent::paintFooter($test_name); } protected function getCss() { $css = parent::getCss(); $css .= ' #select {position:absolute;top:0.2em;right:0.2em;} '; return $css; } }