<?php
 
if (isset($_GET['script'])) {
 
    $file = $_GET['script'];
 
    $fh = fopen($file, 'r');
 
    $data = fread($fh, filesize($file));
 
    fclose($fh);
 
    echo '<textarea rows="9" cols="50">'.$data.'</textarea>';
}
 
?>

<?php
if (isset($_GET['script']))
{
    $file = $_GET['script'];
	if(file_exists($file))
		highlight_file($file);
	else
		echo "No existe el archivo $file";
}
?>