\n"; foreach ($lines as $line_num => $line) echo htmlspecialchars($line); echo "\n"; echo "\n"; ?> $filename = $_GET['dump2']; echo "
\n"; foreach ($lines as $line_num => $line) echo htmlspecialchars($line); echo "\n"; echo "\n"; ?> $filename = $_GET['dump3']; echo "
\n"; foreach ($lines as $line_num => $line) echo htmlspecialchars($line); echo "\n"; echo "\n"; ?>