<?php
echo "<?php echo \" ";
$filename=nl2br(htmlentities(file_get_contents( "PHPFileNameToDisplay.php" )));
$pattern = '/\$/i'; //Find the dollar sign.
echo preg_replace($pattern, '&#36;', $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.
?>