Source de voir.php

<?php
if (!isset($_GET['fichier'])) {
  exit;  
}
$fichier = $_GET['fichier'];
$code_retour= 'retour à la page du <A HREF="https://fabien-torre.fr/Enseignement/tp/PHP/">TP PHP</A>';
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><HTML>
<HEAD>
<TITLE>Source de <?php echo $fichier; ?></TITLE>
<meta HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
<meta NAME="author" CONTENT="Fabien Torre">
<link REL="stylesheet" TYPE="text/css" HREF="https://fabien-torre.fr/include/css/ft-v1.css">
<link REL="shortcut icon" HREF="https://fabien-torre.fr/Images/ft.ico" TYPE="image/ico">
</head>
<body VLINK="#0000CD">
<DIV CLASS="menu">
<DIV CLASS="partmenu">
<UL>
<LI> <?php echo $code_retour ?>
<LI> retour à la page de <A HREF="https://fabien-torre.fr/">Fabien Torre</A>
</UL>
</DIV>
</DIV>
<DIV CLASS="page">
<!-- vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv -->
<?php
echo "<H1>Source de $fichier</H1>\n";
echo "<PRE>\n";
if ((!isset($fichier)) || ($fichier == '') || (preg_match('@/@',$fichier))) {
  echo "Pas de fichier « $fichier ».";
} else {
  $fcontents = file( $fichier );
  foreach ( $fcontents as $line_num=>$line ) {
      echo "<b>$line_num:</b> ";
      if (preg_match("/^<!--(.*)-->$/",$line,$matches)) {
          echo htmlspecialchars('<!--');
          echo "<B><FONT COLOR=\"#FF0000\">";
          echo htmlspecialchars($matches[1]);
          echo '</FONT></B>';
          echo htmlspecialchars("-->\n");
      } else {
          echo htmlspecialchars($line);
      }
  }
}
echo "</PRE>\n";

?>
<!-- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -->
</DIV>
</BODY>
</HTML>