'; foreach ($lines as $line_num => $line): if (trim($line)): if ($show): if (substr( $line, 0, 7 ) === "version"): if ($first): $first = FALSE; else: echo ""; endif; echo "

" . htmlspecialchars(str_replace("version ", "", $line)) . "

\n"; ?>