Ceci est un fragment HTML

Code de ce script

<p>Ceci est un fragment HTML</p>


<?php
if (isset($_GET['code'])) {
    echo '<h2 style="margin-top: 5em">Code de ce script</h2><pre style="border: 1px solid black;">';
    highlight_file(__FILE__);
    echo '</pre>';
}
?>