Hallo Tom,
je nachdem, wie viel Kontrolle Du über die Counter Du haben willst, und wie alte Browser Du supporten willst (was aber auch bei user-select so eine Sache ist), kannst Du auch einen CSS Counter verwenden. Der wird nicht selektiert.
<pre><?php</pre>
<pre>// Data-Parameter auslesen</pre>
<pre>$data = $_GET['data'];</pre>
<pre>echo htmlspecialchars($data);</pre>
<pre>header("Location: https://forum.selfhtml.org");</pre>
mit diesem CSS:
pre {
counter-increment: codeLine;
margin:0;
padding: 0.1em;
background-color: #fff;
}
pre::before {
content: counter(codeLine);
display: inline-block;
width: 3em;
text-align: right;
border-right: 1px solid black;
padding: 0 0.2em;
margin-right: 0.2em;
}
Das Highlighting kann PHP ja schon alleine (highlight_file)...
Rolf
--
sumpsi - posui - obstruxi
sumpsi - posui - obstruxi