Ok. Du willst etwas ganz anderes.
Der einfachste Weg dürfte folgendes sein:
Schneide den Code aus Deiner Datei heraus und speichere ihn als 'code.00001.txt'
<nav class="link_wechsel">
<h2 class="visually-hidden">Page navigation</h2>
<ul>
<li><a <?php if ($current_page=="autos"): ?>aria-current="page" <?php endif ?> href="beispiel-1.php">1</a></li>
<li><a <?php if ($current_page=="essen"): ?>aria-current="page" <?php endif ?> href="beispiel-2.php">2</a></li>
<li><a <?php if ($current_page=="haus"): ?>aria-current="page" <?php endif ?> href="beispiel-3.php">3</a></li>
</nav>
An der selben Stelle:
<pre class="codeblock">
<?=htmlspecialchars( file_get_contents( 'code.00001.txt' ) ); ?>
</pre>
oder:
<?php
highlight_file( 'code.00001.txt' );
?>
Das kannst Du auch mit Javascript machen.