$/',$lines[0] ) < 1){ array_shift($lines); } array_shift($lines); $i = count($lines) - 1; while (preg_match('/^<\/pre>$/',$lines[$i] ) < 1){ array_pop($lines); $i--; } array_pop($lines); // Adding line numbers if ($this->show_lines > 0) { $nlines = count($lines); $max = strlen(strval($nlines)); for ($i=0; $i<$nlines; $i++){ $lines[$i] = $this->lineNumber(strval($i+1), $max).$lines[$i]; } } array_unshift($lines, ""); return implode("\n", $lines).''; } private function lineNumber($n, $max){ $spaces = str_repeat(" ", $max - strlen($n)); $n = "$spaces"."$n"; return ""; } } ?>
"); return implode("\n", $lines).'