<?php
echo "<?php
echo \"
";
$filename=nl2br(htmlentities(file_get_contents( "PHPFileNameToDisplay.php" )));
$pattern = '/\$/i'; //Find the dollar sign.
echo preg_replace($pattern, '$', $filename); //Replace the dollar sign with the html equivalent.
echo "\";
?>";
//Miscellaneous:
//echo base64_decode(file_get_contents( "jquery.dataTables.min.js.b64" )); // get the contents, and echo it out.
//echo base64_encode(file_get_contents( "jquery.dataTables.min.js" )); // get the contents, and echo it out.
?>