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>