Gracias por el enlace ;)
Lo conseguí utilizando lo siguiente:
Código php:
Ver original<?php
function highlight_num($file)
{
echo "<table><tr><td class=\"num\">\n$lines\n</td><td>\n$content\n</td></tr></table>";
}
?>
<div class="TextView">
<pre>
<?php
highlight_num('prueba.php');
?>
</pre>
</div>