<?php
// show_source.php
$file=$_GET['file'];
if (@is_file($file)) show_source($file);
else die("Une erreur est survenue, le fichier n'est pas accessible !");
?>