' . "\n"; } else { if (in_array("$infile\n", $publicFiles)) { header("Content-Type: text/plain"); echo implode(file(getcwd() . "/$infile")); } else { echo "
How terribly clever of you.
\n"; echo "
\n"; } }
\n";
}
}