O esta
Código PHP:
<?php
function color_source($string)
{
$array_contenido = explode("<source>",$string);
$final = $array_contenido[0];
for($i = 1;$i <= count($array_contenido);$i++)
{
$array_contents = explode("</source>",$array_contenido[$i]);
ob_start();
highlight_string($array_contents[0]);
$array_contents[0] = ob_get_contents();
ob_end_clean();
$final .='<font face="Courier new, Courier, Mono" size=3>'.$array_contents[0]."</font>".$array_contents[1];
}
return $final;
}
?>