'.end($names).''; } } if(!function_exists('parse_file')){ function parse_file($file, $line){ return ''.basename($file)." line {$line}".''; } } ?>
$value) { ?>