';
if (substr($line,0,4)=='>>>>') { // always code, not escaped
$text .= highlight_script(substr($line, 4));
} else if (substr($line,0,3)=='>>>') { // not escaped
$text .= syntax_highlight(substr($line, 3));
} else if (substr($line,0,2)=='>>') { // always code
$text .= highlight_script(htmlspecialchars(substr($line, 2)));
} else {
$text .= syntax_highlight(htmlspecialchars(substr($line, 1)));
}
$text .= "\n";
$state = '>';
} elseif ($line{0} == ']') {
// other code
if ($state == '>') $text = substr($text,0,-6);
else $text .= '';
if (substr($line,0,2)==']]') { // unescaped
$text .= substr($line, 2);
} else {
$text .= htmlspecialchars(substr($line, 1));
}
$text .= "\n";
$state = '>';
// Html
} elseif (preg_match("@^)@", $line)) {
$line = preg_replace("@^<>@","",$line);
$text .= $line . "\n";
$state = '';
// Comment
} elseif (preg_match("@^//@", $line)) {
// ignore
// version information block
} elseif (preg_match("@^DOC_MSE_VERSION:@", $line)) {
$line = preg_replace("@^[A-Z_]+:\s*@",'',$line);
$text .= "'; } $text .= autoformat__line($line) . "\n"; if ($first) { $text .= '
'; } $state = 'P'; }} //print_r("\n\n--------------[$prefix]---------------------\n$text\n"); } //print_r("\n\n==================[$prefix]=================\n$text"); //print_r("\n==================///=================\n"); if ($state == '|') $text .= autoformat__table($table); return $text; } /** * Format a table, given the rows */ function autoformat__table($rows) { foreach ($rows as $k=>$r) { // split lines into columns $cols = array(); foreach($r['lines'] as $l) { // split into columns $lcols = preg_split("/\t+/",$l); for ($i = 0 ; $i < count($lcols) ; ++$i) { $cols[$i] .= $lcols[$i] . "\n"; } } $rows2[$k] = $cols; } $newrows = array(); foreach ($rows2 as $y=>$r) { // colspan foreach($r as $x=>$c) { $data = trim($c); if ($data == "<<<" && $x > 0) { $skip = $newrows[$y][$x-1]['skip']; if ($skip == false) $skip = array($y,$x-1); $newrows[$y][$x]['skip'] = $skip; if ($y == $skip[0]) { $newrows[$skip[0]][$skip[1]]['cols'] += 1; } } elseif ($data == "^^^" && $y > 0) { $skip = $newrows[$y-1][$x]['skip']; if ($skip == false) $skip = array($y-1,$x); $newrows[$y][$x]['skip'] = $skip; if ($x == $skip[1]) { $newrows[$skip[0]][$skip[1]]['rows'] += 1; } } else { $newrows[$y][$x]['skip'] = false; $newrows[$y][$x]['data'] = $data; $newrows[$y][$x]['rows'] = 1; $newrows[$y][$x]['cols'] = 1; } } } global $autoformat__lines; $l = $autoformat__lines; $text = '